Patch from Ben Dooks

Fixes mis-labelled timer variables, and incldes the
clock header to allow the code to compile. This
was not caught on previous rounds as all the
s3c2440 machine support is pending the finalisation
of the new s3c2440 uart driver (arriving soon)

Signed-off-by: Ben Dooks