Merge branch issue149.
Fix https://code.google.com/p/kgtp/issues/detail?id=149 that cannot get right value of x86_32 $ebp.
Thanks report from wangwangwar.