ARM: fix built-bots trying to use Thumb2 code on armv6m