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

Change-Id: I8ff1fdb746bfb4a7d810ff6ff272e6a473c1c46f