469af303d6
If the 32-bit domain is found in the kfd node properties for a device, then it will be used when constructing the bdfid. If it's not present, it will continue to use the 16 bit version. Also, whether or not 32b or 16b are used for the domain, the domain will now be placed in the upper 32b of the 64b bdfid. * Fixed some unrelated doxygen issues Change-Id: Icb5116daa1ab45ee305bdbe6cd5df5736dd3ffa3