Allow setting the optimization level of TARGET_thumb_CFLAGS to -Os using the device's BoardConfig.

Because some devices don't play well with the JustArchie optArchiDroid Optimizations (Note 2)