Comment 73 for bug 727620

To install, download the two .deb files that match your installation (*_i386.deb for 32-bit and *_amd64 for 64-bit) and the linux-headers-*_all.deb file into a new directory. Then open a terminal, navigate to that directory, and run 'sudo dpkg -i *.deb'.

If you're unsure whether you have a 32-bit or 64-bit installation, run 'uname -m' in a terminal. If it outputs i686 get the *_i386.deb files and if it outputs x86_64 get the *_amd64.deb files.