[coreboot] Seabios problems