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