Fix kvm_tpr_opt_setup() args