ARM: add -marm flag since we do not support Thumb