@lattera @geerlingguy There really isn't any comparison between the two. One is a ~2016 quad-core Cortex-A57 machine, the other is a 12-core Cortex-A720/A520. The OverDrive is likely beaten by a RPi 4.
The ThunderX1 might stand a chance for multi-core. You could run the same benchmarks he did and compare results.