[PATCH 26/33] domain_conf.c: reject duplicated pnv-phb3 devices