Yes, that's true > GENERIC doesn't include 'options SMP' so you don't have an SMP kernel. > However, it seems you only have problems with SMP is enabled, yes? >