ARM: ux500: Add PRCC Peripheral clock node to DBx500 Device Tree