I'm tried to install GNU Guix System 1.4.0 x86_64, but ran into an issue. I've downloaded the ISO from https://guix.gnu.org/en/download/, and used the commands listed in the reference manual (dd & sync) to copy the ISO to an 8 GB Kingston USB. When trying to boot into the USB, it is not available in the boot menu.
Some additional info: - UEFI, not legacy BIOS. - Tried first using Ventoy, but ran into the "/ventoy/busybox/sh: can't access tty; job control turned off" issue. I can provide more info if needed.
