fi
echo -n " grub4"
+# import GRUB helper functions (again, updated device map)
+. /usr/share/kernel-2.6-cn/grub-functions.sh
+
# get install device (0x80 BIOS device)
install_device=$(grep '^(hd0)' "$device_map" | \
sed -e 's%[^[:space:]]*[[:space:]]*\([^[:space:]]*\)%\1%')