Сейчас специально посмотрел — вначале винда получает адрес по IPCP, а уже потом шлёт DHCPREQUEST в тоннель.
Так что нужно как-то ловить эти пакеты и направлять их на DHCP-сервер.
С этим вроде разобрался, но от самой идеи мониторинга виндов по snmp решили отказаться — без извращений с WMI нельзя даже посмотреть количество занятой оперативки.