IS kernel: fixed compiling bugs