[PATCH v2 67/87] arm: Rename STM32MP13x