I think "KDC Server Address" does not imply IP address. hostname was already allowed for a long time