Juno/vexpress/FVP kernel based on latest version of Linux (v4.11-rc4)

Changes in this version:
- 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).
- Fix HDLCD virtual height hack to work with latest kernel
- 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:
- Mali driver omitted because it isn't compatible with recent kernels.