[Bug 994322] bye-bye, grub_installdevice