xen/smp: Remove unnecessary call to smp_processor_id()