ARM: smp_on_up: allow non-ARM SMP processors