[Bug 33349] New: Use Thumb binaries on ARM?