I am updating the memory node in the system-user.dtsi and it doesn\'t match after the petalinux bootup. I confirmed that memory node is updated in system.dtb by recompiling
