zynq: Kconfig: extend the bootstrap malloc() pool