¿Armcc depende del tipo de procesador ARM en la placa de hardware?
Sí.
Para decirlo sin rodeos, un ARM7TDMI y un Cortex-A9 son procesadores totalmente diferentes que comparten algunas instrucciones. Sin embargo, ambos son rutinariamente llamados chips 'ARM'. Dentro de las Cortezas, las diferencias son más pequeñas, pero aún significativas. Puedes llegar a usar un número más bajo como cortex-a8, pero YMMV.
No estoy familiarizado con armcc (Google parece saber más de un compilador con este nombre). Verifique las notas de la versión de su versión para ver si A9 es compatible. Tal vez pueda actualizar a una versión más reciente.