ARM sched model: Add preload thumb2 instructions