[U-Boot] [PATCH 4/6] stm32mp1: add support for stm32mp157c-ev1 board