system-controller: add forgotten % signs in mrp_debugs for inttypes.