drivers/rtc/rtc-s3c.c: correct debug messages