[ARM] smp: fix cpumask usage in ARM SMP code