Re: [Linaro-uefi] [PATCH 0/5] OpenPlatformPkg: hacks to support RAS+SDEI on the FVP