diff --git a/arch/arm/core/aarch64/arm_mmu.c b/arch/arm/core/aarch64/arm_mmu.c
index 3807f1a19d9c72438797a19e32532ae13cc91bbf..14f6b42da69f3148156f218c111b5e7092bed4fc 100644
--- a/arch/arm/core/aarch64/arm_mmu.c
+++ b/arch/arm/core/aarch64/arm_mmu.c
@@ -14,7 +14,7 @@
 #include <sys/util.h>
 
 /* Set below flag to get debug prints */
-#define MMU_DEBUG_PRINTS	0
+#define MMU_DEBUG_PRINTS	1
 /* To get prints from MMU driver, it has to initialized after console driver */
 #define MMU_DEBUG_PRIORITY	70
 
diff --git a/boards/arm/qemu_raspi3/qemu_raspi3.dts b/boards/arm/qemu_raspi3/qemu_raspi3.dts
index 426c51cda4cab99eebd5866db5e16a8d2abb4b26..b2b87f040798126d809b8eda9d4f89a0b2549085 100644
--- a/boards/arm/qemu_raspi3/qemu_raspi3.dts
+++ b/boards/arm/qemu_raspi3/qemu_raspi3.dts
@@ -80,6 +80,7 @@
 			/* #clock-cells = <1>; */
 			reg = <0x3f215000 0x8>;
 			/* clocks = <&clocks BCM2835_CLOCK_VPU>; */
+            label = "UART_0";
 		};
 	};
 };
diff --git a/boards/arm/qemu_raspi3/qemu_raspi3_defconfig b/boards/arm/qemu_raspi3/qemu_raspi3_defconfig
index 73e88c630643de5009b5e9bc308109c6b4af351a..122e23102886301c40d91ffc226a8c29a78b045f 100644
--- a/boards/arm/qemu_raspi3/qemu_raspi3_defconfig
+++ b/boards/arm/qemu_raspi3/qemu_raspi3_defconfig
@@ -14,9 +14,10 @@ CONFIG_SRAM_BASE_ADDRESS=0x80000
 # Enable UART driver
 CONFIG_SERIAL=y
 
-# Enable console
-CONFIG_CONSOLE=y
-CONFIG_UART_CONSOLE=y
+CONFIG_CONSOLE=n
+# CONFIG_UART_CONSOLE=y
+# For some reason 
+# CONFIG_UART_CONSOLE_ON_DEV_NAME="UART_0"
 
 # Enable serial port
 CONFIG_UART_RASPI3_MINI=y
diff --git a/drivers/console/uart_console.c b/drivers/console/uart_console.c
index 74d1013d26c769ca372659595f239002f46b7fd2..b7bc0703ef338fe6838f355544d06e1a8883ac8c 100644
--- a/drivers/console/uart_console.c
+++ b/drivers/console/uart_console.c
@@ -593,11 +593,12 @@ static void uart_console_hook_install(void)
  */
 static int uart_console_init(const struct device *arg)
 {
-
+	printk("%s\n", __func__);
 	ARG_UNUSED(arg);
 
 	/* Claim console device */
 	uart_console_dev = device_get_binding(CONFIG_UART_CONSOLE_ON_DEV_NAME);
+	printk("%s, %s, %p\n", __func__, CONFIG_UART_CONSOLE_ON_DEV_NAME, uart_console_dev);
 
 	uart_console_hook_install();