kernel: skip compiling