ARM: S5P64X0: Update Timer support