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