It is accurate to say he need not petition US Consulate. He or his parents could, in the alternative, petition the INS or whatever the agency was at the time. State Department is not the only agency with the power to adjudicate claims of citizenship for aliens born abroad to US citizen parent or parents.
Both forms have the same function under the law.