[ARM] 4261/1: clockevent support for Versatile platform