ARC time on slink

[Dragos-Anton Manolescu <dragos.manolescu@acm.org>]

Greetings,

I ran RedHat for about 1 year and decided to switch to Debian :-) I've
just installed slink on my AS200 and have noticed that the time is
wrong (4:46 instead of 9:46). I am booting with the ARC and the ARC
time is correct; the (stock) kernel detects this at boot time:

Real Time Clock Driver v1.09
rtc: ARC console epoch (1980) detected

Since I didn't have this problem in RedHat, I assume that I haven't
configured something right. If you know how to fix this without
setting ARC's clock ahead, please let me know.

TIA,

-Dragos

p.s. Also, where's libXt.a? I can't seem to find it...