If the debian machine is not able to detect your complete memory and you are running i386 - use the i686 kernel with smp