Saying the single core speed of the PS4 is slower than a high-end PC is putting it lightly unless the "high-end PC" part is followed by "from 2008". These consoles have really weak CPUs that in a diifficult best case scenario of all 8 cores being fully utilized still have only half the computational power of an i5-3570K at stock speeds. Given the progression of high-end CPU performance in the past half a decade or so, that difference is huge and again is only an unlikely best possible case scenario given the difficulty of parallelizing CPU workloads. Even the latest Atoms have significantly better single-core performance than current Jaguars.
Frankly, it's very disappointing for the supposed next-gen baseline development target platforms.