On one of my systems, I'm using Debian for i386, and I'm thinking about going to kernel package "kernel-image-2.6.8-11-amd64-k8". The main reason I'm using Debian for i386 is that I need a proprietary kernel module. This kernel module is available for both x86 and AMD64, so I wonder which one I should use with the above-mentioned kernel. Thanks