Correct bitness flag for x86