I know that the concept of multi-core processors doesn't quite apply to kernels since kernels are pieces of software and not hardware, but wouldn't it be at least somewhat advantageous to have two kernels, one to handle device drivers and such and another one to handle everything else, if only in a SSD setup.