[PATCH 2/5] domain_conf: Format iothread IDs more often