following options are necessary: CONFIG_NO_HZ CONFIG_GENERIC_TIME NO_HZ CLOCKEVENTS CLOCKSOURCE and so on!