[PATCH] arm64: zynqmp: Increase size of malloc pool