why is there no smp kernel for ia32e? until today i did not realize that was even the kernel i needed (Intel EM64T) I assumed the x86_64 was the proper one. I have a dual-cpu setup and would like to run an smp kernel if at all possible. Does anyone know anything about this?