Hi again.
So I'm back on track now.
After changing those two values in the SSO database and restarting SSO service the krb5.conf file gets changed automagically to the correct values and VCenter starts and operates correctly again.
What still is misterious to me.
Why on earth are those values getting hardocded duing installation.
Kerberos also supports DNS-based configuration via SRV records which is in place for MS Active Directory by default.
Cheers.