ingres: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.
diff --git a/device.mk b/device.mk
index cd457c6..c435238 100644
--- a/device.mk
+++ b/device.mk
@@ -10,6 +10,10 @@
 # Inherit from the proprietary version
 $(call inherit-product, vendor/xiaomi/ingres/ingres-vendor.mk)
 
+# Overlay
+PRODUCT_PACKAGES += \
+    SettingsProviderResIngres
+
 # Soong namespaces
 PRODUCT_SOONG_NAMESPACES += \
     $(LOCAL_PATH)