RDK-45050 : Update devicesettings-headers version

Change-Id: I217acd9f66a000f1189d9d3b73e6ed69f09a59d9

Author: ababu250

conf/include/rdk-headers-versions.inc

@@ -21,17 +21,17 @@ PV_pn-power-manager-headers = "0.1.0"
 PR_pn-power-manager-headers = "r0"
 SRCREV_pn-power-manager-headers = "0.1.0"
 
-PV_pn-devicesettings-hal-headers = "0.1.1"
+PV_pn-devicesettings-hal-headers = "0.1.2"
 PR_pn-devicesettings-hal-headers = "r0"
-SRCREV_pn-devicesettings-hal-headers = "0.1.1"
+SRCREV_pn-devicesettings-hal-headers = "0.1.2"
 
 PV_pn-iarmmgrs-hal-headers = "2.0.0"
 PR_pn-iarmmgrs-hal-headers = "r0"
 SRCREV_pn-iarmmgrs-hal-headers = "8c0e309be318e0665b8fb2ccdf131b722cc32d84"
 
-PV_pn-tvsettings-hal-headers = "0.1.1"
-PR_pn-tvsettings-hal-headers = "r0"
-SRCREV_pn-tvsettings-hal-headers = "0.1.1"
+PV_pn-tvsettings-hal-headers ?= "0.1.1"
+PR_pn-tvsettings-hal-headers ?= "r0"
+SRCREV_pn-tvsettings-hal-headers ?= "0.1.1"
 
 PV_pn-closedcaption-hal-headers = "1.0.0"
 PR_pn-closedcaption-hal-headers = "r0"