Fixed a bug in kprintf_decimal().
Added CMOS RTC code.