Bug#683026: New Section

[Tim Bray <tim@kooky.org>]

I think the debian-kernel-handbook needs a new section.

How to build an i386 debian package containing an AMD64 kernel.

You have a machine running debian/i386 where you have installed an AMD64 
kernel, such as the linux-image-3.2.0-4-amd64 package.

For some reason you need to build your own kernel.

1) Download an uncompress source, and cd in.  eg linux-3.11
2) copy config from /boot/config-3.2.0-4-amd64
3) make olddefconfig
4) export  KBUILD_DEBARCH=i386
5) make deb-pkg -j<number of CPU>
6) look for *.i386.deb in parent directory.  Use dpkg to install.


*****

I've spent a week on and off trying to work out the above.