Merge pull request #11 from suriyanr/odroidxu3-v2012.07

HYP mode for the OdroidXU3 CPUs
fix newer gcc builds
Merge branch 'odroidxu3-v2012.07' of github.com:hardkernel/u-boot into odroidxu3-v2012.07
update binaries to match source
VDD33_USB3_0,VDD33_USB3_1,VDD33_UHOST (LDO9) set to 3.3V
Exynos5422 timer issue have been fixed - suriyan

Change-Id: I597a6f11087a4d82d22b572c8d0109cbc20e4a47
Merge remote-tracking branch 'upstream/odroidxu3-v2012.07' into odroidxu3-v2012.07