Fix ARM computation in scheduler