If they want to have the fastest distro, they shouldn't neglect the x86_64 architecture. Istead, it should be their first choice.