[Bug 1189691] New: config: enable CONFIG_MAXSMP