KVM: x86/mmu: Protect marking SPs unsync when using TDP MMU with spinlock