[sr-dev] git:andrei/armv7: armv7: inform the assembler about thumb