s4-kdc: Move definitions to kdc-server.h