Yes, x86 is 32 bit.