[PATCH v2 26/39] acpi: Move the xsdt pointer to acpi_ctx