Juno Android kernel based on 3.10 version of Linaro Stable Kernel (LSK)

The significant change in this release is the HDLCD driver now usies ION and
dmabuf, and supports double-buffering.

Contains:

  - Juno enablement based on commit b0f11137875b93d4c166c6e2feb042c72678e972
    of ARM's juno-beta branch at https://github.com/ARM-software/linux.git

  - Backport of "arm64: add atomic pool for non-coherent and CMA allocations"
    (commits bfbceba4d4e9..85c63b8f5374) This prevents warnings and panics
    caused by the USB driver allocating buffers in its ISR.

  - Mali drivers based on the wk38 DDK

  - Intelligent Power Allocation (IPA) code

  - I2C driver patches to reduce clock rate backported from newer juno-beta
    branch (1.3-juno-rc2) as well as juno.dts change to limit HDLCD pixel
    clock to be within TDA19988 specs.

  - LSK kernel at commit bfbceba4d4e9a3a538a80a1a0af18db55c9924a4
    (at git://git.linaro.org/kernel/linux-linaro-stable.git).