Is Fedora Workstation/Server and Spin for 32 bits too?

@manueljordan, if Fedora remains of interest, you may want to follow the undermentioned, for I’m trying to get this functional again:

Otherwise, if you want to use all 64 bits of your 64-bit CPU, I did manage to get the openSUSE Tumbleweed folks to fix their 32-bit EFI support.