Process stats wrong under ULE

I'm seeing the following kind of behaviour under ULE on a UP machine
(kernel updated earlier this evening).  Notice that the total CPU%
adds up to way more than 100%; indeed one single process is allegedly
using more than 100% CPU, and (not clear from the top(1) output) the
processes that are sleeping do not have their CPU% updated until the
next time they run.

Kris

last pid:   707;  load averages:  1.28,  1.02,  0.47                                            up 0+00:04:16  23:11:40
60 processes:  2 running, 57 sleeping, 1 stopped
CPU states:  1.1% user, 97.3% nice,  0.5% system,  1.1% interrupt,  0.0% idle
Mem: 62M Active, 42M Inact, 52M Wired, 1016K Cache, 73M Buf, 592M Free
Swap: 256M Total, 256M Free

  PID USERNAME PRI NICE   SIZE    RES STATE    TIME   WCPU    CPU COMMAND
  570 dnetc    139   20  1000K   804K RUN      2:27 100.78% 100.78% dnetc
  420 root     139    0  3492K  2444K select   0:01 39.06% 39.06% sshd
  573 nobody     4    0  4676K  4204K sbwait   0:02  9.38%  9.38% perl
  575 nobody     4    0  4676K  4204K sbwait   0:02  9.38%  9.38% perl
  577 nobody     4    0  4676K  4204K sbwait   0:02  9.38%  9.38% perl
  574 nobody     4    0  4676K  4204K sbwait   0:02  9.38%  9.38% perl
  576 nobody     4    0  4676K  4204K sbwait   0:02  9.38%  9.38% perl
  701 root      80    0  3744K  2440K STOP     0:01  5.47%  5.47% cvs
  589 root      76    0 25552K 24952K select   0:08  4.69%  4.69% XFree86
  705 kris      76    0  2312K  1620K RUN      0:01  3.91%  3.91% top
  702 kris      20    0  1464K  1148K pause    0:00  2.34%  2.34% tcsh
  664 kris      20    0  1464K  1148K pause    0:00  2.34%  2.34% tcsh
  654 kris      20    0  1468K  1152K pause    0:00  1.56%  1.56% tcsh
  683 kris      20    0  1464K  1148K pause    0:00  1.56%  1.56% tcsh
  624 kris      76    0  5484K  4880K select   0:01  0.00%  0.00% xterm
  614 kris      76    0  5928K  4492K select   0:01  0.00%  0.00% wmaker
  572 nobody    76    0  8596K  7900K select   0:01  0.00%  0.00% squid
  663 kris      76    0  3700K  3036K select   0:00  0.00%  0.00% ssh
  633 kris       8    0  2288K  1716K nanslp   0:00  0.00%  0.00% wmWeather
  653 kris      76    0  2100K  1780K select   0:00  0.00%  0.00% screen
  529 root      76    0  1216K   728K select   0:00  0.00%  0.00% moused
  632 kris       8    0  2520K  1796K nanslp   0:00  0.00%  0.00% wmCalClock
  257 root      76    0  1300K   860K select   0:00  0.00%  0.00% syslogd