The DGX Spark/GB10 has CPU cores from Mediatek (in a pretty odd cluster configuration, too).