[kernel] improve DEBUG output
[kernel] improve DEBUG output

fperignon/siconos,radarsat1/siconos,siconos/siconos,bremond/siconos,bremond/siconos,bremond/siconos,fperignon/siconos,fperignon/siconos,bremond/siconos,fperignon/siconos,siconos/siconos,radarsat1/siconos,radarsat1/siconos,bremond/siconos,fperignon/siconos,radarsat1/siconos,siconos/siconos,siconos/siconos,radarsat1/siconos