Add Xiaomi to deviceinfo_name

aports/device/device-xiaomi-cancro/APKBUILD

@@ -19,4 +19,4 @@ package() {
 	devicepkg_package $startdir $pkgname
 }
 
-sha512sums="48375b804aa1870a3a3ada4ac6967b58a0e4d30b4b432d99e6bbe82743edfb98acc19b13d828632f0fb1e306479a0dc088ba727caa46b4c214b8a95aff49121c  deviceinfo"
+sha512sums="37b15325b5ab5a1edc8598c308431a81e05f6bd13631952d3b9078f0a408da6d8f242253b08f851dc99f67df7c0b34210f5c4bb46a98f848d22e2081a809a16c  deviceinfo"

aports/device/device-xiaomi-cancro/deviceinfo

@@ -2,7 +2,7 @@
 # Please use double quotes only. You can source this file in shell scripts.
 
 deviceinfo_format_version="0"
-deviceinfo_name="Mi 3"
+deviceinfo_name="Xiaomi Mi 3"
 deviceinfo_manufacturer="Xiaomi"
 deviceinfo_date=""
 deviceinfo_dtb=""