dd609a574a02 ("KVM: arm64: vgic-init: fix a kernel-doc warning")