[coreboot-gerrit] Patch merged into coreboot/master: cf18c85 ck804: hide IOAPIC base address in PCI_BASE_ADDRESS_1