Fix kernel directory

At least for me, it allowed to build at all.