Defconfig: switch back to the regular RCU