[ fix ] bootstrap-stage2: IDRIS2_CG not set correctly
[ fix ] bootstrap-stage2: IDRIS2_CG not set correctly

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm