HYP mode for the OdroidXU3 CPUs

This is based on fanta's code for the Odroid XU.

Signed-off-by: Suriyan Ramasami <suriyan.r@gmail.com>
Merge pull request #11 from suriyanr/odroidxu3-v2012.07

HYP mode for the OdroidXU3 CPUs