Re: [Linaro-uefi] [PATCH 0/3] ArmPkg: add support for configuring interrupt types