[PATCH] arch: mach-k3: fix mapping higher DDR addresses as device memory