A 32-bit kernel