S3C2440 linux timer driver