Fix IA32 asm

This seems to be working now.