Thanks a lot for those benchmarks.
Can you also share the dump message (dmesg) of Threadripper to see how it boots with Linux ?