[S390] s390: use memory_read_from_buffer()