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.
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.