Re: [PATCH v7 14/37] acpi: Allocate and write ACPI tables