Re: [PATCH 2/4] ACPI: workaround x86 firmware with mis-matched FADT/MADT revisions