Because of a two-steps deep problem, I need to boot into an EFI shell and run
gptsync. I downloaded the flashdrive binaries of rEFInd 0.7.4, used
dd to write the image to a thumbdrive, and it seems to boot fine. However, when I select the little shell icon to boot, it flashes to the shell UI and hangs with the following text on the screen:
Starting shellx64.efi Using load options ''
And that's it. Am I supposed to configure something to get the shell working?