Various sensible changes to seeding for Multicore CPUs
And finally, the correct vivado_core.c