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