[Linaro-uefi] [PATCH 00/15] Platforms/ARM: update to EDK2, fix minor issues