Hello Guix hackers,

I noticed that when downloading the i686 ISO image from https://ci.guix.gnu.org/build/412940/details (1ga8sl5f2qry2n7wm9fjvhafzhsb7p4r-image.iso) the installer's kernel and installed system are x86_64. If I install from the official guix-system-install-1.3.0.i686-linux.iso I get an i686 system and the installer's kernel is i686, too. Am I missing something? Or is CI building incorrect images?