Il existe des versions militarisées (haute fiabilité & gamme de température étendue) des processeurs de la famille 68k. Thomson Saint-Egrève (Isère), devenu Atmel puis E2V maintenant, en fabrique, ou en fabriquait. Mais c'est très probablement plus cher, évidemment...

J'imagine qu'une description synthétisable, écrite dans un langage HDL, du 68000, et peut-être de certains de ses successeurs ('020, '040) / dérivés (ColdFire), existe. Peut-être sur OpenCores, par exemple, où les descriptions sont souvent à la fois libres (GPL) ET gratuites.

S'ils veulent vraiment garder des 68000, ils peuvent toujours acheter des FPGA du commerce, mettre dessus le coeur synthétisé, et puis relier une à une les pattes du FPGA à un support de circuit, lui-même soudé aux vieilles cartes.
(Qui a dit "bourrin", "inutilisable en production de grande série" ? )