I'm running a little late, but it does look like I successfully compiled an ar71xx binary of notdchpclient and notdhcpserver. I've attached the ipks to this email in case anyone is super anxious to get running with them, otherwise I'll be at sudo a little after 8.

See ya!