Update kernel-compile.php