[PATCH] fix scheduler deadlock