China's Xiaomi sets IPO price at 17 Hong Kong dollars per share | Street Signs Europe