[PATCH v4 04/12] KVM: arm64: selftests: Rename vcpu_config and add to kvm_util.h