[coreboot] seabios question