✏️ Editing: grub-mkdevicemap