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