[ARM] 4533/1: AT91x40 timer support