[U-Boot] [PATCH v1 0/4] Update STM32MP1 machine