ARM: ux500: add support for clocksource DBX500 PRCMU