@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-X, which is subscribed to xorg-server in 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 _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : ubuntu-x-swat@lists.launchpad.net Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp
