Re: [PATCH v1 41/43] x86: acpi: Correct the version of the MADT