ARM: ks8695: merge the timer header into the timer driver