kernel: conditional build of tickless scheduling