[PATCH][V3] ux500 : decouple/recouple gic from the PRCMU