> Now, if you have a better name for the "intel xeon e64mt nocona" kernel > flavour (preferably something as short as k8 or k8-smp), feel free to > propose it. Given that it's just a P4 core with 64bit extentions I'd call it -p4 and -p4-smp