correct configuration dependency of tickless compensation
mk: adjust Kconfig entries with explicit classification

The build configurations should be specified by Kconfig in each
directory rather than the definitions in file mk/Config.in, which is
going to semi-retire by reducing its functionality.