Searching in linux-user/s390x