arm/arm64: KVM: vgic: switch to dynamic allocation