detecting 32 bit guests bugfix