[PATCH v4 1/2] acpi: fix struct acpi_xsdt