@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 Desktop Packages, which is subscribed to xorg-server in Ubuntu. https://bugs.launchpad.net/bugs/1272720 Title: sometimes boot fails Status in “xorg-server” package in Ubuntu: Invalid Bug description: Probably not an Xorg problem: Lubuntu Trusty Linux xxxxxx 3.13.0-5-generic #20-Ubuntu SMP Mon Jan 20 19:58:23 UTC 2014 i686 athlon i686 GNU/Linux CPU: dual core turion 1) sometimes i have to start lightdm manually 2) sometimes a big freeze during boot, even before attempting loading X . (reboot needed) 3) sometimes kernel complains about CPU-firmware missing. 4) sometimes b43 wlan hardware not detected Sorry I can't be more clear about this. Half of the times it is booting perfectly. It feels like a racecondition somewhere ( module? / kernel? ). Since this bug report was automagically generated by apport I hope you guys can make any sense of it. ProblemType: Crash DistroRelease: Ubuntu 14.04 Package: xserver-xorg-core 2:1.14.5-1ubuntu2 ProcVersionSignature: Ubuntu 3.13.0-5.20-generic 3.13.0 Uname: Linux 3.13.0-5-generic i686 ApportVersion: 2.13.1-0ubuntu2 Architecture: i386 CrashCounter: 1 Date: Sat Jan 25 18:03:23 2014 ExecutablePath: /usr/bin/Xorg InstallationDate: Installed on 2014-01-04 (21 days ago) InstallationMedia: Lubuntu 14.04 "Trusty Tahr" - Alpha i386 (20140102) ProcCmdline: /usr/bin/X -core :0 -auth /var/run/lightdm/root/:0 -nolisten tcp vt7 -novtswitch ProcEnviron: Signal: 6 SourcePackage: xorg-server UpgradeStatus: No upgrade log present (probably fresh install) UserGroups: To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xorg-server/+bug/1272720/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp