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

Contains:

  - Juno enablement based on commit b0f11137875b93d4c166c6e2feb042c72678e972
    of ARM's juno-beta branch at https://github.com/ARM-software/linux.git
    but with the HDLCD patches for double buffering support omitted.

  - Mali drivers based on the wk38 DDK

  - Intelligent Power Allocation (IPA) code

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