RCU-Joe-s-RCU
change kernel configure for J-RCU