[coreboot-gerrit] Patch merged into coreboot/master: b679525 ck804: obtain I/O APIC base address for ACPI MADT from allocator