Did they ever make anything faster than the 4-core QorIQ chip that powerpc-notebook.org is using?

Current NXP networking chips are ARM Cortex based, like the LX2160 that's in the upcoming SolidRun workstation (which they still haven't publicly demonstrated ECAM PCIe on, sadly…)

Their very first of the T4 series was 12 core / 24 thread 64-bit e6500 based (T4240).