Re: [PATCH v3 06/35] acpi: Support generation of interrupt descriptor