[PATCH] RCU: clean up a few remaining synchronize_kernel() calls