Raspberry Pi port, piCore-16.0 is available!
What about udhcpc?
sudo udhcpc -i ppp0 -r xxx.xxx.xxx.xxx