[PATCH v4 30/31] acpi: Move the xsdt pointer to acpi_ctx