Apparently /boot/grub/menu.lst was not automatically updated so it still loaded an old kernel (3.0.0). I have deleted menu.lst and generated a new menu.lst with the latest kernel (3.8.0).
Maybe the problem is fixed now. So far no crashes.