The text e7eb052186f6, as Debian 7 (Wheezy) shipped it.
Set the AICA RTC to the current time
aica_rtc_settimeofday(9) on Linux now
