Pushed right smp kernel configuration.