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