Add TICK_MAX definition for the timer code
as the S3C64XX series have 32bit capable
PWM timers.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Add the necessary support for the timer on the
S3C6400 and S3C6410 by adding <mach/tick.h>
Signed-off-by: NBen Dooks <ben-linux@fluff.org>