Fixes race with vcore_yield()