rts/Schedule: Allow synchronization without holding a capability