Fix features needed for the intrinsics example

ci/run.sh

@@ -55,11 +55,11 @@ esac
 case $1 in
     thumb*)
         RUSTFLAGS="-C debug-assertions=no" xargo rustc --features c --target $1 --example intrinsics -- -C lto -C link-arg=-nostartfiles
-        xargo rustc --no-default-features --features c --target $1 --example intrinsics --release -- -C lto
+        xargo rustc --features c --target $1 --example intrinsics --release -- -C lto
         ;;
     *)
         RUSTFLAGS="-C debug-assertions=no" cargo rustc --features c --target $1 --example intrinsics -- -C lto
-        cargo rustc --no-default-features --features c --target $1 --example intrinsics --release -- -C lto
+        cargo rustc --features c --target $1 --example intrinsics --release -- -C lto
         ;;
 esac