Thanks for sharing the info, tabris. The assemblers are indeed backwards compatible, so it shouldn't be an issue (though ARMv7 would be better, as you say).