I will add a note to the man page.  If no -r option is given, krb5kdc 
serves the default realm as given by default_realm in [libdefaults].