BoardConfig: no SMP makes everything crappy