[U-Boot] [PATCH] ARM64: zynqmp: Align gic ranges for 64k in device tree