@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.