Geralmente, isso é selecionável no BIOS da máquina. Eu tenho um sistema com uma placa NVidia que possui saídas HDMI e VGA. Na BIOS, eu tive que selecionar "Primary Display Port" como "HDMI", e depois seria sempre padrão para HDMI para BIOS, grub, console, etc saída.