clockevents/source: Use u64 to make 32bit happy