Обычно это выбирается в BIOS устройства. У меня есть система с картой NVidia с выходами HDMI и VGA. В BIOS мне пришлось выбрать «Primary Display Port» как «HDMI», а затем он всегда будет по умолчанию для HDMI для вывода BIOS, grub, console и т. Д.