BoardConfig: Explicitly disable SMP