* target-i386/helper.c: minor modification