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