[PATCH v8 3/9] acpi: Convert part of acpi_table to use acpi_ctx