SMP kernel for the 1CD isos?

Hi everybody! Since an increasing number of users has hyper-threaded CPUs, it would be a good idea to include a SMP kernel for the 1CD install (just heard it is not there, no time+bandwidth to test myself). Otherwise, you will probably have significantly lower performance with this type of CPU. Since there is little space on only one iso, I suggest that we ship a SMP-enabled kernel for everybody. This should not decrease performance for uniprocessor machines but get you full speed on hyperthreaded CPUS. Question: Is this going to break anything? I'm thinking especially of binary-only drivers that might not like SMP systems. Or maybe other problems when you run an SMP enabled kernel on a system with just 1 CPU. Cheers nordi