big-LITTLE-MP-master-v16 (same version as in linux-linaro 13.04 release)

generic IKS support from Nicolas Pitre

IKS TC2 patches (the TC2 patches missing from the generic IKS topic were cherry-picked from the linaro-private.git.linaro.org/bL_switcher/linux.git , v3.9-master branch; v3.9-master branch is based on ARM LT’s integration-android-vexpress when it was based on v3.9)