With "cat /proc/driver/rtc; date" you can see the time of the BIOS clock and in the last line the time of your panel clock. I allways recomend to use UTC time within the BIOS and "tz=..." in the kernel line with your local parameters - for me "tz=Europe/Berlin".
Code:
$ cat /proc/driver/rtc; date
rtc_time : 17:09:13
rtc_date : 2013-09-11
alrm_time : 00:00:00
alrm_date : 2013-09-12
alarm_IRQ : no
alrm_pending : no
update IRQ enabled : no
periodic IRQ enabled : no
periodic IRQ frequency : 1024
max user IRQ frequency : 64
24hr : yes
periodic_IRQ : no
update_IRQ : no
HPET_emulated : no
BCD : yes
DST_enable : no
periodic_freq : 1024
batt_status : okay
Mi 11. Sep 19:09:12 CEST 2013