setup-efi-ivi: amend the kernel entry file
drwxr-xr-x - packaging
-rwxr-xr-x 2410 setup-efi-ivi