ARM sched model: Use the right resources for DIV