Make kernel compilable only; still not working