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