[PATCH 1/3] acpi: fix struct acpi_xsdt