I always wondered if using a 64bit kernel on a 32bit distribution was a good idea. http://permalink.gmane.org/gmane.linux.debian.devel.general/108273 gives one reason why this isn't a particulary good idea.
~~DISCUSSION~~
tech english