[Bug 204378] SMP kernel as default may cause problems