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