[U-Boot] Possible bug in s5p_sdhci.c