K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2011-07-12T17:56:42.403256Z
K 7
svn:log
V 447
- Current testing shows that (ab)using the JBC performance counter in bus
  cycle mode as timecounter just works fine. My best guess is that a firmware
  update has fixed this, check at run-time whether it advances and use a
  positive quality if it does. The latter will cause this timecounter to be
  used instead of the tick counter based one, which just sucks for SMP.
- Remove a redundant NULL assignment from the timecounter initialization.

END