Linux how to update kernel

A comprehensive guide to updating the Linux kernel manually using Debian packages from the kernel PPA.