diff --git a/make/isolinux.mk b/make/isolinux.mk
index 63d9bdfd..4ef2fe8d 100644
--- a/make/isolinux.mk
+++ b/make/isolinux.mk
@@ -79,7 +79,8 @@ isolinux.cfg:
 		echo PROMPT 0 ;\
 		for k in $(notdir $(KERNELS)); do \
 			l=`echo $$k | sed 's/vmlinuz-//g'` ;\
-			echo -e "LABEL $$l\n  KERNEL $$k\n  APPEND initrd=initrd root=$(ROOT_FS_DEVICE)" ;\
+			n=`basename $$k | tr [A-Z] [a-z] | sed 's/\.tar\.gz/.tgz/; s/-/_/g; s/\([^.]*\)\.\([^.]*\)$$/\1@\2/; s/\./_/g; s/@/./'` ;\
+			echo -e "LABEL $$l\n  KERNEL $$n\n  APPEND initrd=initrd root=$(ROOT_FS_DEVICE)" ;\
 		done \
 	) > $@