Comment 59 for bug 1633172

@armin-kunaschik: is it a desktop? I mean I guess that kernel defines is it x32 or x64 and if you install dependent packages for kernel modules, some libraries etc, it would be working as x64. I suppose these dependencies would be automatically installed at the moment of installation of x64 kernel... Maybe you would have to change some settings in VM though...

Anyway, you can compile x32 kernel by yourself, just disable this option