Update kernel-compile.py

use the same string as on the kernel.org site 
longterm