[Bug 636290] The kernel reports wrong process user/sys time