[PATCH v2 14/14] arm: Rename STM32MP15x