How to build smp kernel