ARM: 6087/1: ux500: move sys_timer to cpu.c