Merge branch 'gp.2013.09.23b' into HEAD

gp.2013.09.23b: Topic branch for grace-period updates.

Fixed conflicts:
	kernel/rcutree.c
	kernel/rcutree_plugin.h