s4:gensec-gssapi: Create a helper function to setup server_principal