a85cd52d7205 ("KVM: SVM: Use svm_get_lbr_vmcb() helper to handle writes to DEBUGCTL")