[PATCH] Remove deprecated -no-kvm option