I tested with the mainline kernel version 3.3.7-030307-generic as requested. I tested various scenarios, multiple times; cold boot, reboot from ubuntu, reboot from windows with discrete gpu enabled into ubuntu (which was the problematic one). The problem didn't occur anymore, so I guess this is indeed fixed in the mailine.
p.s. Yes, I have dual boot for the sake of my daughter's school software :-( -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1014039 Title: kernel BUG at /build/buildd/linux-3.2.0/drivers/gpu/drm/ttm/ttm_bo.c:272!; RIP: 0010:[<ffffffffa00afbd9>] [<ffffffffa00afbd9>] ttm_bo_ref_bug+0x9/0x10 [ttm] To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1014039/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs