ARM: Fix timer tick speed, should be 10ms.