Re: [PATCH v2 27/35] x86: acpi: Move MADT down a bit