So, what OS do these run? Is it oem provided custom kernels or third party?
https://github.com/freebsd/freebsd/commit/d7704f9e75aafd312a... https://github.com/freebsd/freebsd/commit/5786fe85813a411327... https://github.com/freebsd/freebsd/commit/3ef92b2f0a0ff3f101... https://github.com/freebsd/freebsd/commit/1f181d2512f60098ed...
Edit : I know Linux is customized to run on a variety of hardware, I was just pointing out that I never knew you could install Ubuntu on the mentioned hardware and have it take advantage of the available hardware, given that it has specialized hardware.
https://unix.stackexchange.com/questions/4507/how-many-cores...
That said, I agree with you that it isn't particularly surprising that Linux handles lots of cores fine, it's been run on more esoteric hardware for ages.