Update HACL-C snapshot as a proper submodule (#2199)

conf/airframes/AGGIEAIR/aggieair_minion_rp3_lia.xml

@@ -7,7 +7,7 @@ AggieAir RP3 Minion
 <airframe name="Minion PR3">
 
   <firmware name="fixedwing">
-    <target name="ap" board="lisa_mx_2.1_chibios">
+    <target name="ap" board="lisa_mx_2.1">
       <module name="radio_control" type="sbus">
         <configure name="SBUS_PORT" value="UART5"/>
       </module>
@@ -60,6 +60,8 @@ AggieAir RP3 Minion
     <module name="nav" type="survey_poly_osam"/>
     <module name="nav" type="launcher"/>
     <module name="nav" type="skid_landing"/>
+    <module name="rng"/>
+    <module name="haclc"/>
     <module name="sys_mon"/>
     <module name="copilot"/>
     <module name="extra_dl">

conf/airframes/examples/quadrotor_lisa_mx.xml

@@ -53,7 +53,6 @@
     <module name="gps" type="ubx_ucenter"/>
     <module name="geo_mag"/>
     <module name="air_data"/>
-    <module name="rng"/>
   </modules>
 
   <servos driver="Pwm">