- try forcing SMP kernel