CONFIG_HAVE_TIF_NOHZ=y
