Fix grub-install usage, update devices.tar.gz