s390/ptdump: add missing amode31 markers