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>