[coreboot-gerrit] New patch to review for coreboot: 07e8b26 ck804: hide IOAPIC base address in PCI_BASE_ADDRESS_1