* Device Tree for the TVK1281618 R2 user interface board (UIB)
  */
 
+#include <dt-bindings/interrupt-controller/irq.h>
 #include <dt-bindings/input/input.h>
-#include "ste-href-tvk1281618.dtsi"
 
 / {
+       gpio_keys {
+               compatible = "gpio-keys";
+               #address-cells = <1>;
+               #size-cells = <0>;
+               vdd-supply = <&ab8500_ldo_aux1_reg>;
+               pinctrl-names = "default";
+               pinctrl-0 = <&prox_tvk_mode>, <&hall_tvk_mode>;
+
+               button@139 {
+                       /* Proximity sensor */
+                       gpios = <&gpio6 25 GPIO_ACTIVE_HIGH>;
+                       linux,code = <11>; /* SW_FRONT_PROXIMITY */
+                       label = "SFH7741 Proximity Sensor";
+               };
+               button@145 {
+                       /* Hall sensor */
+                       gpios = <&gpio4 17 GPIO_ACTIVE_HIGH>;
+                       linux,code = <0>; /* SW_LID */
+                       label = "HED54XXU11 Hall Effect Sensor";
+               };
+       };
+
        soc {
                i2c@80004000 {
                        tc35893@44 {
                        };
                };
                pinctrl {
+                       prox {
+                               prox_tvk_mode: prox_tvk {
+                                       tvk_cfg {
+                                               pins = "GPIO217_AH12";
+                                               ste,config = <&gpio_in_pu>;
+                                       };
+                               };
+                       };
+                       hall {
+                               hall_tvk_mode: hall_tvk {
+                                       tvk_cfg {
+                                               pins = "GPIO145_C13";
+                                               ste,config = <&gpio_in_pu>;
+                                       };
+                               };
+                       };
                        tc35893 {
                                /* IRQ from the TC35893 */
                                tc35893_tvk_mode: tc35893_tvk {
 
  * also known as the "CYTTSP board"
  */
 
+#include <dt-bindings/interrupt-controller/irq.h>
 #include <dt-bindings/input/input.h>
-#include "ste-href-tvk1281618.dtsi"
 
 / {
+       gpio_keys {
+               compatible = "gpio-keys";
+               #address-cells = <1>;
+               #size-cells = <0>;
+               vdd-supply = <&ab8500_ldo_aux1_reg>;
+               pinctrl-names = "default";
+               pinctrl-0 = <&hall_tvk_mode>;
+
+               button@145 {
+                       /* Hall sensor */
+                       gpios = <&gpio4 17 GPIO_ACTIVE_HIGH>;
+                       linux,code = <0>; /* SW_LID */
+                       label = "HED54XXU11 Hall Effect Sensor";
+               };
+       };
+
        soc {
                i2c@80004000 {
                        tc35893@44 {
                };
 
                pinctrl {
+                       hall {
+                               hall_tvk_mode: hall_tvk {
+                                       tvk_cfg {
+                                               pins = "GPIO145_C13";
+                                               ste,config = <&gpio_in_pu>;
+                                       };
+                               };
+                       };
                        tc35893 {
                                /* IRQ from the TC35893 */
                                tc35893_tvk_mode: tc35893_tvk {
 
+++ /dev/null
-// SPDX-License-Identifier: GPL-2.0-or-later
-/*
- * Copyright 2012 ST-Ericsson AB
- *
- * Device Tree for the TVK1281618 family of UIBs
- */
-
-#include <dt-bindings/interrupt-controller/irq.h>
-
-/ {
-       gpio_keys {
-               compatible = "gpio-keys";
-               #address-cells = <1>;
-               #size-cells = <0>;
-               vdd-supply = <&ab8500_ldo_aux1_reg>;
-               pinctrl-names = "default";
-               pinctrl-0 = <&prox_tvk_mode>, <&hall_tvk_mode>;
-
-               button@139 {
-                       /* Proximity sensor */
-                       gpios = <&gpio6 25 GPIO_ACTIVE_HIGH>;
-                       linux,code = <11>; /* SW_FRONT_PROXIMITY */
-                       label = "SFH7741 Proximity Sensor";
-               };
-               button@145 {
-                       /* Hall sensor */
-                       gpios = <&gpio4 17 GPIO_ACTIVE_HIGH>;
-                       linux,code = <0>; /* SW_LID */
-                       label = "HED54XXU11 Hall Effect Sensor";
-               };
-       };
-
-       soc {
-               pinctrl {
-                       prox {
-                               prox_tvk_mode: prox_tvk {
-                                       tvk_cfg {
-                                               pins = "GPIO217_AH12";
-                                               ste,config = <&gpio_in_pu>;
-                                       };
-                               };
-                       };
-                       hall {
-                               hall_tvk_mode: hall_tvk {
-                                       tvk_cfg {
-                                               pins = "GPIO145_C13";
-                                               ste,config = <&gpio_in_pu>;
-                                       };
-                               };
-                       };
-               };
-       };
-};