@nev we definitely have a 32-bit efi loader, i don't know if it can load a 64-bit kernel though.