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