Тема закрыта.
В качестве раздатчика IPv6-адресов используйте radvd.
Эксперимент с isc-dhcp-server`ом, запущенным с ключиком "-6" показал, что он выполняет немного другую задачу, чем radvd.
Если вы взяли себе IPv6-подсеть через туннельного брокера или по технологии "6to4", то вам нужен исключительно radvd.