At some point we should split the `source/devices/J7_Family` into individual device directories. No reason for Jacinto to be special here.