iirc, on the windows side, workgroups had to be upper case, so initially the krb realm was set to the workgroup name. dns came later