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