RT_TIMER_TICK_PER_SECOND in rtconfig.h for softtime scheduler is not used.

RT_TIMER_TICK_PER_SECOND in rtconfig.h for softtime scheduler is not used.