Merge branches 'bigrt.2012.08.09b', 'doctorture.2012.08.16a', 'fixes.2012.08.24a', 'hotplug.2012.08.16c' and 'idle.2012.08.24a' into HEAD

Conflicts:
	kernel/rcutree.c