[PATCH] ia64: cpu_idle performance bug fix