Re: [PATCH v2 0/1] MR10319: server: On ARM64, only list 32-bit ARM as a supported architecture if the CPU supports it. - approved