[kernel] add debug print info
[kernel] add debug print info

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