Le premier lien ne fonctionne pas, je ne sais pas quelle version tu commandes.
La carte Arduino intègre bien un régulateur 5 volts, donc il faut juste donner entre 7 et 12 volts à la carte, et reprendre son 5 volts pour alimenter les servomoteurs.
Le régulateur Motorola sort jusqu'à 800 mA, le régime idéal se situant lorsque la différence entre tension d'entrée et tension de sortie est de 2 volts : il serait peut être bon de prendre une alimentation à 7 ou 9 volts plutôt qu'à 12 volts.
Datasheet ici : Motorola MC33269D-5.0 datasheet pdf