Segmentation faults while compiling kernel