Also flip MAXSMP for generic vs. debug config (see f4861c48b8)
f4861c48b8
1e19bded7f5d5152b7f53ee7356241ecb18905b0