[coreboot-gerrit] Patch set updated for coreboot: soc/apollolake/acpi: Fill in ACPI MADT table