RE: [PATCH] configs: add support for stm32mp157c-dk2 board