              }; // pin
 +            pin@p12 { function = "input";  termination = "pull_up"; }; // GPIO12 button
              pin@p14 { function = "uart0";  termination = "no_pulling"; drive_strength_mA = < 8 >; }; // TX uart0
+             pin@p15 { function = "uart0";  termination = "pull_up";    drive_strength_mA = < 8 >; }; // RX uart0
+             pin@p28 { function = "input";  termination = "no_pulling"; polarity = "active_low"; }; // Hotplug
+@@ -1501,6 +1511,7 @@
+                startup_state = "inactive";
+                function = "input";
+             }; // pin
++            pin@p12 { function = "input";  termination = "pull_up"; }; // GPIO12 button
+             pin@p14 { function = "uart0";  termination = "no_pulling"; drive_strength_mA = < 8 >; }; // TX uart0
              pin@p15 { function = "uart0";  termination = "pull_up"; drive_strength_mA = < 8 >; }; // RX uart0
              pin@p46 { function = "input";   termination = "pull_up";    }; // SMPS_SCL
-@@ -1415,6 +1425,7 @@
+@@ -1586,6 +1597,7 @@
                 startup_state = "inactive";
                 function = "input";
              }; // pin

             pin@p14 { function = "uart0";  termination = "no_pulling"; drive_strength_mA = < 8 >; }; // TX uart0
             pin@p15 { function = "uart0";  termination = "pull_up"; drive_strength_mA = < 8 >; }; // RX uart0
             pin@p28 { function = "input";   termination = "pull_up";    }; // I2C 0 SDA
@@ -1541,6 +1552,7 @@
                startup_state = "inactive";
                function = "input";
             }; // pin

             pin@p14 { function = "uart0";  termination = "no_pulling"; drive_strength_mA = < 8 >; }; // TX uart0
             pin@p15 { function = "uart0";  termination = "pull_up"; drive_strength_mA = < 8 >; }; // RX uart0
             pin@p28 { function = "input";   termination = "pull_up";    }; // I2C 0 SDA
@@ -1859,6 +1872,7 @@
                startup_state = "inactive";
                function = "input";
             }; // pin
