fix cpuid

Gabriele Contini

2020-03-15 cbca0819a951403d444344559ff06e71e6650f22

 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;
};