Re: [Linaro-uefi] [PATCH 10/28] D03/DSDT: use irq producer/consumer to support mbi-gen