Merge branch 'idle.2013.09.23a' into HEAD

idle.2013.09.23a: Topic branch for idle entry-/exit-related changes.

Fixed conflicts:
	kernel/rcutree.c