[WATCHDOG] Fix s3c2410_wdt driver coding style issues