Re: [coreboot] a question about SeaBIOS