Re: [PATCH 034/108] x86: acpi: Move MADT up a bit