--- customize_iso	2012-12-21 19:56:30.626885573 +0200
+++ customize_iso.new	2012-12-21 20:01:03.765946531 +0200
@@ -58,12 +58,7 @@
 
 function get_latest_kernel()
 {
-	set -- $(ls "$REMASTER_DIR"/boot/vmlinuz* 2>/dev/null |
-		sed -e "s@$REMASTER_DIR/boot/@@" |
-		tr --  '-.' '\t' |
-		sort --key=2 --key=3 --key=4  --key=5 --numeric-sort |
-		tail -n1 )
-	[ "$1" = "vmlinuz" ] && echo "$REMASTER_DIR/boot/$1-$2.$3.$4-$5-$6"
+	echo $(ls "$REMASTER_DIR"/boot/vmlinuz* -1v 2>/dev/null | grep -v efi.signed | tail -n1)
 }
 
 # Create a temporary directory to assemble the gfxboot stuff in