[coreboot-gerrit] New patch to review for coreboot: 8d47ab2 ck804: obtain stored IOAPIC address from allocator instead of register