Re: [PATCH 1/3] configs: stm32mp1: stm32mp1: Increase SPL malloc() size