what about Dual CPU support.
How do i boot in SMP kernel