K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2011-07-25T19:01:36.292402Z
K 7
svn:log
V 464
MFC: r223960

- 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, so 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