32Bit EFI support

  • The USB created via CD will not boot on a 32-Bit EFI machine.

    I worked around this by copying all files but grub.cfg from a Fedore Core 29 Workstation image from/to /EFI/BOOT/

    Perhaps those files (or similar) could be added to the next dot-release?

  • Thanks, I'll look into getting this added.