add non-smp kernel