ARM: also remove useless .arm directive from other files