Add dhcp server bindings
Switch some uint32_t to pico_ip4