* docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.
* docs/grub.cfg: Use the native device name for the example GNU/Hurd boot entry.
* docs/grub.cfg: New file (example GRUB configuration).