[[Io]]

Listo.
He encontrado la solución, como siempre en la documentación.
El kernel esta preparado para multiprocesador/monoprocesador, detectandolo autamáticamente, y se carga para cualquiera de los casos.
Chao.