Clock.h: Update from another kernel tuna