[PATCH 3/4] kvm: arm64: make ID registers configurable