Those pins are used for SDIO on STM32MP135F-DK board.
Signed-off-by: NYann Gautier <yann.gautier@foss.st.com>
Signed-off-by: NAlexandre Torgue <alexandre.torgue@foss.st.com>