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