[PATCH 1/5] domain_conf: Format <defaultiothread/> more often