[PATCH 026/108] acpi: Move the xsdt pointer to acpi_ctx