Comment 2 for bug 669096

The part we crashed in is the code that calculates cpu scheduler stats, with a divide by zero. I've done some searching around on git.kernel.org and lxr.linux.no, and I don't see where any similar existing problem has been caught and fixed yet upstream through 2.6.32, but it could be non-obvious. Looking at linux_2.6.32-25.45.diff.gz from the relevant apt source for -virtual, I see a lot of patches to sched.c, some of which introduce new division operations. It wouldn't surprise me if the bug was in there somewhere.