The text 5cc699614bbe, as Debian 7 (Wheezy) shipped it.
Get the time from the AICA RTC
aica_rtc_gettimeofday(9) on Linux now
