core/sched.c: MODULE_HWTIMER is not a module anymore