Symbol: KVM_VGIC_V2_DIST_SIZE