defconfig: disable nohz fast rcu