Hi curaga
I just checked tce-load for TC3 and TC4.
TC3 uses a sed command to handle KERNEL:
KERNELVER=$(uname -r)
sed -i "s@KERNEL@$KERNELVER@" $1
TC4 uses this:
APPNAME="${APPNAME/-KERNEL/-${KERNELVER}}"
I brought it up because I think I've seen kernel version numbers
used in some .dep files.