[PATCH v7 8/9] acpi: Move the xsdt pointer to acpi_ctx