fix cpuid

gcontini

2020-03-15 919409cb28a2ef9e97d7b15046fed2c5a4d0500f

 src/library/os/cpu_info.hpp

@@ -29,6 +29,7 @@
   bool cpu_virtual() const;
   uint32_t model() const;
   std::string vendor() const;
   // std::string brand() const;
   VIRTUALIZATION_DETAIL getVirtualizationDetail() const;
};