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