[PATCH] fix build with CONFIG_NO_IDLE_HZ=n