mach-ux500/prcmu-debug:synch