fix newer gcc builds
Merge branch 'odroidxu3-v2012.07' of github.com:hardkernel/u-boot into odroidxu3-v2012.07
update binaries to match source