Fixed the encoding of the x86 push instructions. Using a 32-bit immediate value