Re: [PATCH v2 26/29] domain_conf.c: add phb4-root-port to IsPowerNVRootPort()