Based on Jakub's proof-of-concept patch I prepared a patch which handles this
option replacement. As it was discussed on the meeting couple weeks back, I
didn't modify the update script (I hope I remember this requirement
modification right) and in case both krb5_kdcip and krb5_server options are in
the config file, the latter one has bigger priority.
Jan