Is there SMP support in base-hw kernel? If so, how can we turn it off or on?

Can modifying PROCESSORS variable in make file of base-hw/mk/ help us configure SMP?

Thanks in Advance

Regards

Franc