[kernel] move DEBUG info
[kernel] move DEBUG info

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