Performance of mixing colors vs mixing colored shaders
If there is, it's a pretty subtle difference.

I rendered 5 frames without the mix shader setup and 5 frames for the mixRGB node setup, and averaged the times for each. The results:

Mix Shader: 23.021
Mix RGB: 22.78