[coreboot] Re: Seabios cannot boot Linux on custom mainboard