--- a/arch/arm/boot/dts/qcom-ipq4019-ap.dk04.1.dtsi
+++ b/arch/arm/boot/dts/qcom-ipq4019-ap.dk04.1.dtsi
@@ -38,7 +38,7 @@
 			clock-frequency = <48000000>;
 		};
 
-		pinctrl@0x01000000 {
+		pinctrl@1000000 {
 			serial_0_pins: serial_pinmux {
 				mux {
 					pins = "gpio16", "gpio17";
