the mit kdc command is called kdc_program="/usr/local/sbin/krb5kdc" note the leading krb5.
Thanks for reporting this. I've posted a review: https://reviews.freebsd.org/D45255