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