This patchset fixexs this and do some cosmetic cleanup in the clocksource driver for mach-gemini. timer1 is used for clockevent timer3 for free running timer, scheduler clock source. The work is based on a patch found on openwrt.org in target/linux/gemini/patches-3.18/160-gemini-timers.patch Hans Ulli