S3c2440 realview watchdog timer source code