r4046: add more servicePrincipalName's for the dc account