Merge branch 'dev.3.7.2012.07.23a' into HEAD

Conflicts:
	kernel/rcutree.h
	kernel/rcutree_plugin.h
	kernel/watchdog.c