[PATCH,HURD] Fix root device passing

[Samuel Thibault]

Hello,

The patch below fixes passing root device to GNU Mach.
With this applied (and some tuning in my hurd /dev/) and my other two
patches, I could successfully run grub-install and boot!

Samuel

2009-11-02  Samuel Thibault  <address@hidden>

        * util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
        giving it to GNU Mach.

Index: util/grub.d/10_hurd.in
===================================================================
--- util/grub.d/10_hurd.in      (révision 2677)
+++ util/grub.d/10_hurd.in      (copie de travail)
@@ -72,8 +72,9 @@
 menuentry "${OS}" {
 EOF
 prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
+ROOT_DEVICE=`echo ${GRUB_DEVICE} | sed -e 's:^/dev/::'`
 cat << EOF
-       multiboot ${kernel} root=device:${GRUB_DEVICE}
+       multiboot ${kernel} root=device:${ROOT_DEVICE}
 EOF
 prepare_grub_to_access_device ${GRUB_DEVICE} | sed -e "s/^/\t/"
 cat << EOF