stm32mp1: Move config SYS_MALLOC_LEN to Kconfig