Fake RTC driver for the Linux kernel