fix warning by removing a unneeded use of defined - TIMEC   kernel/timeconst.h