Temporarily testing 32-bit kernel again