I wasn't trying to use DNS names in the name of the kickstart server before the problems mentioned above were fixed, but I just tried doing that now and it works for me.
I wasn't trying to use DNS names in the name of the kickstart server before the problems mentioned above were fixed, but I just tried doing that now and it works for me.