[Bug 248216] handle /dev/disk/by-* in grub device.map