Fix x86 disassembly in 32-bit mode