E10K: Renaming domains

Standard disclaimer: Use the information that follows at your own risk. If you screw up a system, don't blame it on me...

Since domain names and host names must match, you have to do a wee bit of work before issuing the domain_rename command.

1. Update host information
1. /etc/hosts
2. /etc/nodename
3. /etc/hostname.${interface}
4. Any routing information
5. Any name service information
2. Shutdown the domain
3. domain_rename -d ${old_name} -n ${new_name}
4. domain_switch ${new_name}
5. bringup the new domain.