Disable the processor clock when the CPU is idle.

This saves much more power than merely entering 'Wait for Interrupt' mode.
Since JTAG-debugging doesn't work when the processor clock is switched off,
make it conditional on CONFIG_DEBUG_KERNEL.
Signed-off-by: NAnders Larsen <al@alarsen.net>
Acked-by: NAndrew Victor <avictor.za@gmail.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>