Adding kbint.c, everything works.