[Linaro-uefi] linaro-edk2-2014.07-a1

has now been pushed and built. Images available in: http://snapshots.linaro.org/components/kernel/linaro-edk2-prep/25

Modifications to upstream code caused some minor issues this time around - refactoring of GIC code and removal of -Wno-missing-braces from GCC command line parameters. - Arndale no longer builds, and I'm considering retiring it (it has not been tested for ages). - D01 will require some changes to the GIC code in order to build and be included with the 2014.07 release - but is still actively maintained by the Hisilicon landing team, so will not be dropped.

/ Leif