Add missing "Debugging Kerberos problems" to menu.