Re: [Linaro-acpi] [PATCH v2] ARM64 / ASL: Fix interrupt type and level flag for device interrupts