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