[PATCH v2 68/87] arm: Rename STM32MP15x