Re: [PATCH v1 13/43] acpi: Support generation of a device