[coreboot] No GRUB/Graphical boot-output on x4x chipset series with PCIe GPU