ARM sched model: Add branch thumb instructions

Reapply 183265.