[thebigcako]

Creo que hay algo mal en el código.

Has probado a compilarlo sin modificación alguna?

No tengo ahora mismo un linux si no lo probaría

Es probable que se te haya descargado mal el source del kernel, según el github ese archivo existe