Awlaki was born in New Mexico. He is a natural-born citizen. No mechanism exists for his citizenship to be stripped, and creating such a mechanism would do more violence to the rule of law in the long run than killing him does now; such a mechanism would most assuredly be abused in the future, while the mechanism that enables his killing today (affiliation with an entity against which we've declared war, operating on foreign soil) is harder to abuse.