FYI, we noticed the below changes on
git://linux-arm.org/linux-skn acpi_lpi
commit 2e32ea0d903e576c4755b8f48793f758203c28ae ("ACPI: add in a bad_madt_entry()
function to eventually replace the macro")
We found the following new stuff in kernel log after your commit.
[ 0.000000] ACPI: undefined MADT subtable type for FADT 1.0: 4 (length 6)
[ 0.000000] ACPI: Error parsing LAPIC NMI entry
[ 0.000000] ACPI: Invalid BIOS MADT, disabling ACPI
Thanks,
Ying Huang