Fixed my problem with slow graphics (Dell D810) - I had the correct binary driver installed for my kernel, but for some reason depmod -a was never run and the module wasn't loading. After fixing that everything seems ok now. -- cpu idle time in /proc/stat wrong https://launchpad.net/bugs/30557