[coreboot] seaBIOS config options "for emulators"