ARM: "armv4_5" command prefix becomes "arm"