kernel/debugconfig/CONFIG_MAXSMP