ARM sched model: Add branch thumb2 instructions