just go to US embassy directly and make sure you bring his old passport. They provide very good service to their own citizen.
I did this 2 years ago. I suggest you call them to make an appointment or see if they changed this process or not, before you go.
Another info source you can check is their website.