Do not use 64-bit x86 specific instrinsics in 32-bit mode