View Message

After doing some digging I found these:

---

These suggest that Gerinel is a Caló (Spanish Romani) form of Miguel:
http://espanol.babycenter.com/babyname/7203102/gerinel

---

http://es.wikisource.org/wiki/Diccionario_gitano/Vocabulario_cal%C3%B3-castellano

---

This suggests that Gerineldo is an alternate of Gerinel:
http://www.tuparada.com/nombres/significado-del-nombre-gerinel/16325

---

Here is a synopsis of the ballad of Gerineldo, which apparently has many versions:
http://www.orbilat.com/Languages/Spanish-Ladino/Society_and_Culture/Gerineldo%20.html

---