when i read the SarbreAI souce about SD card, i have a question for iomux setting of USDHC.
for example, the SD_CD pin connects with GPIO_1 pad in SabreAI.
According to chip manual , the pad should be set to ALT6
but in source, it set the GPIO_1 pad to ALT5
i don't know what the difference between them is.