[PATCH v4 25/31] acpi: Convert part of acpi_table to use acpi_ctx