Added stub for EPOS_Kernel::Alarm in include/alarm.h.