[checkmk-commits] minor cleanup in dhcp_pools.include