Make constants in kernel/timeconst.h fixed 64 bits