--- ./util/gensdsk.orig	2010-06-29 21:31:33.000000000 +0200
+++ ./util/gensdsk	2010-08-07 17:45:31.000000000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 #
 # Generate a syslinux floppy that loads a gPXE image
 #
@@ -44,8 +44,8 @@
 	# shorten name for 8.3 filesystem
 	b=$(basename $f)
 	g=${b%.lkrn}
-	g=${g//[^a-z0-9]}
-	g=${g:0:8}.krn
+	g=$(echo $g | sed -e 's/[^a-z0-9]//g').krn
+	g=$(echo $g | awk '{print substr($0,0,8)}').krn
 	case "$first" in
 	"")
 		echo DEFAULT $g