Je pense que son problème, c'est l'inverse : à savoir que ça fonctionne avec un noyau compilé SMP et pas avec le même noyau sans support SMP. Mais en effet, ça doit être par exemple le support ACPI qui ne fonctionne pas, et qui est désactivé par défaut lorsque le support SMP est choisi, et donc ça marche justement parce qu'il y a un truc désactivé qui ne l'est pas par défaut pour un système non SMP.