getchar(void) in stdio.h (and maybe a lot of others) no longer have thumb instruction implementations on the platforms we are using.  -marm disables the -mthumb default.