vmm_shrink_internal(): forgot locking of VMM stats in one branch.