[PATCH v3 28/29] acpi: Move the xsdt pointer to acpi_ctx