Add an option for building for arm in thumb mode

Change-Id: I5a46645064c2fe1c13287cf06c3244820b4e699e
diff --git a/build/make/configure.sh b/build/make/configure.sh
index 71efa99..7070ec0 100755
--- a/build/make/configure.sh
+++ b/build/make/configure.sh
@@ -88,6 +88,7 @@
   ${toggle_debug}             enable/disable debug mode
   ${toggle_gprof}             enable/disable gprof profiling instrumentation
   ${toggle_gcov}              enable/disable gcov coverage instrumentation
+  ${toggle_thumb}             enable/disable building arm assembly in thumb mode
 
 Install options:
   ${toggle_install_docs}      control whether docs are installed
@@ -819,6 +820,11 @@
 
             enabled debug && add_asflags -g
             asm_conversion_cmd="${source_path}/build/make/ads2gas.pl"
+            if enabled thumb; then
+                asm_conversion_cmd="$asm_conversion_cmd -thumb"
+                check_add_cflags -mthumb
+                check_add_asflags -mthumb -mimplicit-it=always
+            fi
             ;;
         rvct)
             CC=armcc