[kernel] remove compiler warning
[kernel] remove compiler warning

siconos/siconos,radarsat1/siconos,radarsat1/siconos,siconos/siconos,radarsat1/siconos,radarsat1/siconos,siconos/siconos,radarsat1/siconos,siconos/siconos