[PATCH v3 08/10] x86: acpi: Correct the version of the MADT