Divide by zero kernel crashes...

I have a few dozen servers running Proxmox and I occasionally get server lockups. I posted some of the kernel errors from the console on ServerFault and in two different incidents responders are blaming the kernel version that Proxmox runs on (including the latest versions of Proxmox):

http://serverfault.com/questions/417...es-in-the-logs

http://serverfault.com/questions/495502/debian-server-locked-find-busiest-group

Has anyone else had this issue? Any ideas on a solution or how to track down what might trigger it (so I can avoid it)?

Thanks,

Curtis