Re: [PATCH 1/4] ACPI: workaround x86 firmware using reserved MADT subtable IDs