anykernel.sh: add kernel string