ARM: Ensure ARMv6/7 mm files are built using appropriate assembler options