drivers/rtc/rtc-s3c.c: use dev_dbg() instaed of pr_debug()