In fact, the installer works without the grub configuration hack if I just use a USB port with enough power! Just selecting the boot device from the rEFInd menu worked with the other USB port.
In fact, the installer works without the grub configuration hack if I just use a USB port with enough power! Just selecting the boot device from the rEFInd menu worked with the other USB port.