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