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