Re: [PATCH] Remove deprecated -no-kvm option