New kernel, SMP kernel