Re: [coreboot] Kconfig PCI_ROM_RUN and friends