> does anyone knows, how to set the onboard clock on the Jensen-board?
sure - use the setup of the ARC console.
Hint: The ARC consoles below version 1.3 save the year in a different
format; in order to have it right in linux, you have to set it lower or
set the appropriate kernel option.
Regards, Ville