x86: Simplify cpu_idle_wait