We should not run this code if not on IA32, even if the value of is32 says so