diff --git a/make/isolinux.mk b/make/isolinux.mk
index 45c048ff..6a310930 100644
--- a/make/isolinux.mk
+++ b/make/isolinux.mk
@@ -73,7 +73,7 @@ isolinux.cfg:
 	( \
 		echo DEFAULT menu.c32 ;\
 		echo PROMPT 0 ;\
-		for k in $(KERNELS); do \
+		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)" ;\
 		done \