Rebuild a Debian Kernel

Basically use the instructions on https://wiki.debian.org/HowToRebuildAnOfficialDebianKernelPackage

Some notes:

fakeroot make -f debian/rules.gen setup_amd64_none_amd64
fakeroot make -f debian/rules.gen binary-arch_amd64_none_amd64
Written on September 11, 2013