davinci: explain CLOCK_TICK_RATE of 27MHz in include/mach/timex.h