[PATCH 1/3] acpi: fix FADT table