|+                       gpio1: gpio at 30200000 {
|+                               compatible = "fsl,imx8mn-gpio",
|"fsl,imx35-gpio";
|+                               reg = <0x30200000 0x10000>;
Should these be 64 bit addresses ?
tkisky at OS2:~/u-boot$ make imx8mn_ddr4_evk_defconfig
#
# configuration written to .config
#
tkisky at OS2:~/u-boot$ grep PHYS_64BIT .config
CONFIG_PHYS_64BIT=y
Thanks
Troy