KVM: x86/mmu: Replace comment with an actual lockdep assertion on mmu_lock