[PATCH v5 03/10] KVM: arm-vgic: Set base addr through device API