fixing compilation error. The kernet compiles on gcc Version 4.6.3