If he has US passport he is all set. They do not give US passports to non citizens. If you are waiting on paperwork, it's just to keep. Example: my 2 boys were born in Philippines. I filed a CRBA for both so they have US citizenship and passports. When we travel I do not need to bring their CRBA certificates, just their passports.