[Linaro-acpi] [PATCH 2/7] mab: use 32- or 64-bit FACS addresses in the FADT, not both