EFI 32 CPU 64 bits. Comment faire avec Framakeysmint?

Je voudrais ne pas avoir à utiliser Windows (je suis sous linux), et utiliser Framakeysmint qui me semble une très bonne idée. Malheureusement, mon EFI est en 32 bits et mon processeur 64 bits, et je peux pas démarrer Framakeysmint. Y-aurait-il une solution (j’utilise une iso 64 bits de Linux Mint modifiée, qui peut démarrer avec un EFI de 32) ? Je sais que je ne suis pas le seul dans cette situation.