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