ARM sched model: Add branch thumb2 instructions

Reapply 183264.