After looking, it's were a coincidence for me. I have the same chipset, but the problem appeared after a upgrade.
Feb 15 21:17:22 ashka-laptop kernel: [80367.085326] vboxdrv: fAsync=0 offMin=0x1c2 offMax=0x7f8 Feb 15 21:17:22 ashka-laptop kernel: [80367.085369] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'. and Kernel panic! -- Thinkpad T61p hardlock flashing caps lock https://bugs.launchpad.net/bugs/300693 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs