Robuta

https://lists.debian.org/debian-boot/2016/08/msg00008.html Bug#833185: Udhcd not killed when DHCP_ENABLED is no bugkilleddhcpenabled