Support to handle /smp model option properly and boot the SMP rather than UNI kernel.