Port of the ARMv5e ArchC model to ARMv2a.