PUSH instruction problem fixed: now push satisfies x86 spec

4 jobs for master
in 4 minutes and 8 seconds and was queued for 1 second