[PATCH v2 3/8] KVM: arm-vgic: Set base addr through device API