Fix the default entry name
drwxr-xr-x - packaging
-rwxr-xr-x 2956 setup-efi-ivi
-rwxr-xr-x 3897 setup-gummiboot-conf