Merge branches 'bigrt.2012.08.28a', 'doctorture.2012.08.28a', 'fixes.2012.08.28a', 'hotplug.2012.08.28a' and 'idle.2012.08.24a' into HEAD

Conflicts:
	kernel/rcutree.c