Re: How to troubleshoot aarch64 and s390x?