It's actually used in dhcp_agent.ini.