[PATCH v3 1/4] acpi: use 64-bit addresses in FADT table