More ARM timings