defconfig: enable nohz fast rcu