setup-efi-ivi: rename the gummiboot kernel entry