ARM: ux500: add restart support via prcmu