kernel-compile now also uses kernel-compile2 - I should think of better names