Odroid v2012.07 virt

These changes permit the ODROID-XU to boot in HYP mode, allowing KVM-ARM and other software to use the virtualization features of the Cortex A15/A7 cores.