[U-Boot] [PATCH 0/1] Extend malloc() pool for Zynq devices