As of 1.3.80, the 4th number after cpu is always zero....Is it supposed to be like that, or a kernel bug?Ben