> There's a whole row of Chinese chip makers who will happily sell you an
> incredibly cheap 64-bit multi-core chip that does everything required.

But it's a single-core chip he wants ;-)

> most companies have given up chip development

What about that "whole row of Chinese chip makers"? :-)