MIUI uses ro.product.vendor.marketname for default device name. Change-Id: I310c1ffc581b72653783d1093d9e7ebde544bb16