kernel/smp.c: cleanups