set grub to not use uuids but instead devices