Debian kernel build

The new way is simply make menuconfig + make deb-pkg.

#note #debian #linux