A better kernel
Nothing is so good that it can not be improved (as the saying goes). This also applies to “my” compiled Ubuntu kernels. A disadvantage of my (former) Ubuntu kernels was that you could not install such packages as VirtualBox or Nvidia’s proprietary drivers, which require kernel sources at installation. I have now discovered a better way to compile the kernel, which includes absolutely all specific Ubuntu patches. The above mentioned problem is thus solved in kernel 3.5.0-8.8-exton. It is now possible to install VirtualBox and proprietary hardware drivers with only kernel-headers-3.5.0-8.8-exton installed. Ie full kernel sources are not needed.
A. Get the kernel linux-image-3.5.0-8-exton_3.5.0-8.8_i386.deb
B. Get kernel-headers-exton linux-headers-3.5.0-8-exton_3.5.0-8.8_i386.deb
C. Get kernel-headers-all linux-headers-3.5.0-8_3.5.0-8.8_all.deb
Install command: sudo dpkg -i linux-headers-3.5.0-8_3.5.0-8.8_all.deb linux-headers-3.5.0-8-exton_3.5.0-8.8_i386.deb linux-image-3.5.0-8-exton_3.5.0-8.8_i386.deb
Then: Run the command sudo update-grub (if you use Grub2)
A small clarification
“My” kernel 3.5.0-8.8-exton is compiled exactly the same way as all official Ubuntu kernels. That is, The Ubuntu Way. If not, the kernel would not function in an Ubuntu system.