[escaner]

According to its name, "tp_smapi-kmp-pae.ymp" seems to be for the "pae" kernel, that only exists in the 32 bit distribution. You say that you are using "default", so you would not need that package.

Not sure about the "vmi" package, probably the same thing.

"xen" and "trace" also refer to other kernels, but in this case they are available in 64 bit, so you probably have just installed them (you will see the option to start them in grub at boot time).