Re: [PATCH v3 05/35] acpi: Support generation of ACPI code