[PATCH v2 4/4] server: Add x86_64 as a supported machine on ARM64.