Undermærket Xiaomi Redmi har lanceret nye bærbare computere i Kina. Virksomheden, som har lanceret en