nohz: Fix another inconsistency between CONFIG_NO_HZ=n and nohz=off