Installing nohz-off