Testing Epyc/Thread Ripper with Replicated-kernel Linux