diff --git a/boards/phytec/phyboard_electra/phyboard_electra_am6442_m4.dts b/boards/phytec/phyboard_electra/phyboard_electra_am6442_m4.dts
index cc243d6243c..55a26e55b0f 100644
--- a/boards/phytec/phyboard_electra/phyboard_electra_am6442_m4.dts
+++ b/boards/phytec/phyboard_electra/phyboard_electra_am6442_m4.dts
@@ -7,6 +7,8 @@
 
 /dts-v1/;
 
+#include <zephyr/dt-bindings/pinctrl/ti-k3-pinctrl.h>
+#include <zephyr/dt-bindings/gpio/gpio.h>
 #include <ti/am64x_m4.dtsi>
 
 / {
@@ -15,8 +17,8 @@
 
 	chosen {
 		zephyr,sram = &sram0;
-		zephyr,console = &uart0;
-		zephyr,shell-uart = &uart0;
+		zephyr,console = &mcu_uart0;
+		zephyr,shell-uart = &mcu_uart0;
 		zephyr,ipc_shm = &ddr0;
 		zephyr,sram1 = &ddr1;
 	};
@@ -52,13 +54,15 @@
 	leds: leds {
 		compatible = "gpio-leds";
 		heartbeat_led: led_0 {
-			gpios = <&gpio0 6 GPIO_ACTIVE_HIGH>;
+			gpios = <&mcu_gpio0 6 GPIO_ACTIVE_HIGH>;
 			label = "Heartbeat LED";
 		};
 	};
 };
 
-&pinctrl {
+&mcu_pinctrl {
+	status = "okay";
+
 	mcu_uart0_rx_default: mcu_uart0_rx_default {
 		pinmux = <K3_PINMUX(0x028, PIN_INPUT, MUX_MODE_0)>;
 	};
@@ -70,14 +74,14 @@
 	};
 };
 
-&uart0 {
+&mcu_uart0 {
 	current-speed = <115200>;
 	pinctrl-0 = <&mcu_uart0_rx_default &mcu_uart0_tx_default>;
 	pinctrl-names = "default";
 	status = "okay";
 };
 
-&gpio0 {
+&mcu_gpio0 {
 	pinctrl-0 = <&mcu_gpio0_led_default>;
 	pinctrl-names = "default";
 	status = "okay";
diff --git a/boards/ti/sk_am64/sk_am64_am6442_m4-pinctrl.dtsi b/boards/ti/sk_am64/sk_am64_am6442_m4-pinctrl.dtsi
index 034c627336e..3c4b3837677 100644
--- a/boards/ti/sk_am64/sk_am64_am6442_m4-pinctrl.dtsi
+++ b/boards/ti/sk_am64/sk_am64_am6442_m4-pinctrl.dtsi
@@ -7,7 +7,9 @@
 
 #include <zephyr/dt-bindings/pinctrl/ti-k3-pinctrl.h>
 
-&pinctrl {
+&mcu_pinctrl {
+	status = "okay";
+
 	mcu_uart0_rx_default: mcu_uart0_rx_default {
 		pinmux = <K3_PINMUX(0x028, PIN_INPUT, MUX_MODE_0)>; /* (A9) MCU_UART0_RXD */
 	};
diff --git a/boards/ti/sk_am64/sk_am64_am6442_m4.dts b/boards/ti/sk_am64/sk_am64_am6442_m4.dts
index ad94503d9de..2039c6e442d 100644
--- a/boards/ti/sk_am64/sk_am64_am6442_m4.dts
+++ b/boards/ti/sk_am64/sk_am64_am6442_m4.dts
@@ -7,6 +7,7 @@
 
 /dts-v1/;
 
+#include <zephyr/dt-bindings/gpio/gpio.h>
 #include <ti/am64x_m4.dtsi>
 #include "sk_am64_am6442_m4-pinctrl.dtsi"
 
@@ -16,8 +17,8 @@
 
 	chosen {
 		zephyr,sram = &sram0;
-		zephyr,console = &uart0;
-		zephyr,shell-uart = &uart0;
+		zephyr,console = &mcu_uart0;
+		zephyr,shell-uart = &mcu_uart0;
 		zephyr,ipc = &ipc0;
 		zephyr,ipc_shm = &ddr0;
 	};
@@ -54,7 +55,7 @@
 		compatible = "gpio-leds";
 
 		heartbeat_led: led_0 {
-			gpios = <&gpio0 5 GPIO_ACTIVE_HIGH>;
+			gpios = <&mcu_gpio0 5 GPIO_ACTIVE_HIGH>;
 			label = "Heartbeat LED";
 		};
 	};
@@ -66,15 +67,20 @@
 	};
 };
 
-&uart0 {
+&mcu_uart0 {
 	current-speed = <115200>;
 	pinctrl-0 = <&mcu_uart0_rx_default &mcu_uart0_tx_default>;
 	pinctrl-names = "default";
 	status = "okay";
 };
 
-&gpio0 {
+&mcu_gpio0 {
 	pinctrl-0 = <&mcu_gpio0_led_default>;
 	pinctrl-names = "default";
 	status = "okay";
 };
+
+&mbox6 {
+	usr-id = <3>;
+	status = "okay";
+};