[PATCH 06/14] configs: stm32mp15_trusted: increase heap for OP-TEE