[PATCH 6/9] KVM: arm64: Correct the kvm_pgtable_stage2_flush() documentation