Re: [coreboot] seabios question