Fixes in kvm extension