Re: [Linaro-uefi] [Patch v4 41/56] D03/DSDT: use irq producer/consumer to support mbi-gen