Hi guys, I have the very same situation but cannot afford changing over to a 64 bit machine. Can someone point me to a solution using 32 bit kernel?