Привет!
Хмм, любопытно - только цен пока не найти.
По ценам, к сожалению, не сориентирую - у нас девборды. Мы под тандеры допиливаем датаплейны (дпдк и одп) и фрю:
https://community.arm.com/groups/processors/blog/2015/11/03/semihalfs-arm64-blog-1-the-freebsd-on-the-96-cpu-armv8-soc
Андрей