setup-efi-ivi: rename the gummiboot kernel entry
drwxr-xr-x - packaging
-rwxr-xr-x 2392 setup-efi-ivi