Testing reading SDIO card in 4-bit mode on the custom STM32F4 board