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