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