amd64-smp kernel is there

[Samuel Thibault]

Hello,

The amd64-smp kernel has been installed in debian, it's available on
http://incoming.ports.debian.org/buildd
and will be available on archive mirrors within 6h.

Samuel