s4-kdc: only use a void* in samba_kdc_entry instead of hdb_entry_ex.