[PATCH] x86-64: Fix race in exit_idle