[PATCH v2 34/39] x86: acpi: Move MADT up a bit