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