Re: [coreboot] seaBIOS config options "for emulators"