@EspenU As I posted before, if you have issues with the 64 bit kernel for some reason, just use the 32 bit kernel for all imaging needs. You can use this kernel universally for both 32 bit and 64 bit systems. There is no technical advantage of the 64 bit over the 32 bit kernel. Just renaming the global 64 bit kernel and inits values to point to the 32 bits stuff should be sufficient for all of your imaging needs.
