Re: [PATCH] arch: mach-k3: Fix incorrect mapping of higher DDR addresses as device memory