Add a build on ARMv5TE in ARM mode

Non-regression test for
"bn_mul.h: require at least ARMv6 to enable the ARM DSP code"
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 22c8129..d9ef302 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -1088,6 +1088,12 @@
     make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
 }
 
+component_build_arm_none_eabi_gcc_armel () {
+    msg "build: arm-none-eabi-gcc, make" # ~ 10s
+    scripts/config.pl baremetal
+    make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar CFLAGS='-Werror -Wall -Wextra -march=armv5te' LDFLAGS='-march=armv5te' SHELL='sh -x' lib
+}
+
 component_build_arm_none_eabi_gcc_no_udbl_division () {
     msg "build: arm-none-eabi-gcc -DMBEDTLS_NO_UDBL_DIVISION, make" # ~ 10s
     scripts/config.pl baremetal