8dc20c1
Remove unused Kerberos configuration options This is some leftover code that was missed in 9fd3731ff7fb4e383e2f2787d8b6ab1c5904247a.