update default kernel config
enable SMP