ISPN-4502 Resolving of KDC hostname may fail on some environments