Дистрибутив - fedora, но это несущественно, я думаю.
В /etc/default/grub можно прописать параметры ядра, их подхватывает grub2-mkconfig, генерирует запись для каждого ядра. Классно, но мне нужно по две, отличающиеся только один параметром ядра.
Впрочем, может быть существует решение с другой стороны, буду рад советам. grub - не принципиален.
Есть две видюхи: nvidia gt 710 и rtx 2080. Нужно запускать разные виртуалки, пробросив либо одну, либо другую. Вариант с тремя видюхами - рабочий, так оно и работает сейчас, но приходится hdmi провод между видюхами перетыкать. Было бы удобнее ребутнуться, т.к. бОльшую часть времени совершенно без разницы, какая именно карта используются, но среди виртуалок есть оффтопик для игр, в которую имеет смысл пробрасывать только 2080, и есть OSX Catalina, в которой работает только 710.