The text c3e7940e06f7, as Debian 8 (Jessie) shipped it.
Set the AICA RTC to the current time
aica_rtc_settimeofday(9) on Linux now
