[PATCH] x86_64: Fix a small missing schedule race