Hey, does anyone know how the host UUID associated with each host is derived? Is it based on the SMBIOS UUID?