[Linaro-acpi] [PATCH v4 4/5] ACPI: Move BAD_MADT_ENTRY() to linux/acpi.h