@Tima, yes that is correct, I have some dkms package installed that needs the headers. I do have the linux-generic package installed and it also pulls the headers in. The problem was that it consequently installed the headers *after* processing dkms.
Since the last few updates, the problem seems to be solved upstream. ( Now running kernel 3.13.0-24-generic at the moment). -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1272720 Title: sometimes boot fails To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xorg-server/+bug/1272720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
