patched 32bit kernel