Juno/vexpress Android kernel based on 4.4 version of Linaro Stable Kernel

Changes in this version:
- Integrate latest OP-TEE driver (deltas for v15 and v16 )
- Add Juno device-trees symlinks to arch/arm, to make building 32-bit
  kernels for Juno easier.
- Remove "arm,vexpress" compatible string from Juno and FVP Base
  device-trees as they were causing problems with 32-bit kernels
  (due to the fact that they aren't really compatible with Versatile
  Express).
- Modify HDLCD red/blue colour swap hack so it tests for TC2 rather
  that just assuming a 32-bit kernel means it's running on a
  Versatile Express board.

Issues:
- Running 32-bit kernels on Juno is unstable and produces random crashes.
- Motherboard ethernet for Juno r1 and r2 are disabled in device-tree.