Symbol: populate_krb5_db_entry