sparc,leon: Sparc-Leon SMP support