This file is indexed.

/usr/share/debian-lan-config/fai/config/debconf/KERBEROS_KDC is in debian-lan-config 0.19+deb8u1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
krb5-admin-server krb5-admin-server/kadmind boolean true