mtip32xx: fix bad use of smp_processor_id()