[Bug 1127596] [doc] 6.5.5 Configuring the KDC