[IA64] fix call of smp_processor_id() by XPC while