[PATCH v2 06/16] KVM: arm64: Correct the kvm_pgtable_stage2_flush() documentation