Tweaks to DHCP server configuration framework