when show in kernel/time/alarmtimer.c the should be always included and use rtc.h that should be the problem.