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

Changes in this version:
- Replaced all SCPI related drivers with backports of the ones in
  https://github.com/ARM-software/linux/tree/1.5-Juno
  This means the kernel requires updated Juno firmware to match.
- Added missing SCPI interface to support sensors and updated the IPA
  related patches to use this. (Commit e4aa72c54124 "mailbox: scpi: Add
  support for getting sensors and values")

Open issues:
- Mali code (in juno_mali_opp.c) was updated to use the new SCPI
  driver however this always fails because the SCPI driver isn't loaded
  at the time. The effect of this is believed to only affect thermal/IPA
  related matters and Mali should still function, unsure because...
- Display output stability appears to have regressed, not been able
  to see any output, even with workarounds that worked with previous
  kernels and firmware versions.

Notes:
- Warnings like the following are expected and not an indication of
  a problem: "cpu cpu0: opp_get_opp_count: device OPP not found (-19)"
  These warning also occur with 1.5-Juno.