setup-efi-ivi: use less hard-coding