[IA64] Simplify cpu_idle_wait