Update kernel-compile.py