[PATCH v9 02/37] acpi: x86: Write FADT in common code