Re: [coreboot] [SerialICE] Boots from PCI add-on card on Intel ICHs