Re: Determining 32bit or 64bit OS from a running kernel module