Merge branch 'iks_for_rmk' of git://git.linaro.org/people/nico/linux into devel-stable

Nicolas Pitre writes:

This is the first part of the patch series adding IKS (In-Kernel
Switcher) support for big.LITTLE system architectures.  This consists of
the core patches only.  Extra patches to come later will introduce
various optimizations and tracing support.

Those patches were posted on the list a while ago here:

   http://news.gmane.org/group/gmane.linux.ports.arm.kernel/thread=253942

diff --cc arch/arm/Kconfig
Simple merge

diff --cc drivers/irqchip/irq-gic.c
Simple merge

diff --cc include/linux/irqchip/arm-gic.h
Simple merge