s390/amode31: change type of __samode31, __eamode31, etc