I looked at those patches and I am still thinking that the linux-image and linux-headers .deb files are all you need. The patches that were in your link are not the actual patches that fix the kernel. They update the .config file for the kernel and update some other files but they are actual fixes to the source.
You just need to grab the correct 32 or 64 bit version that you need and install them.
Bookmarks