[ARM] Solve buggy smp_processor_id() usage