sdmmc dose not work

Hi,

I got the Jetson-TK1 few days ago.

I tried to booting, but sdmmc error occurred.

sdmmc2: couldn't identify card
sdmmc2: no functions

Similar error occurs in NetWalker as well.

I do not know the cause, but it has occurred since below change.
http://cvsweb.netbsd.org/cgi-bin/cvsweb.cgi/src/sys/dev/sdmmc/sdhc.c.diff?r1=1.83&r2=1.84&f=h

Hashimoto Kenichi.

Index: sdhc.c
===================================================================
RCS file: /cvsroot/src/sys/dev/sdmmc/sdhc.c,v
retrieving revision 1.84
diff -u -r1.84 sdhc.c
--- sdhc.c      9 Aug 2015 13:46:50 -0000       1.84
+++ sdhc.c      4 Sep 2015 10:03:36 -0000
@@ -2127,7 +2127,7 @@
        }

        if (nointr ||
-           (ISSET(status, SDHC_ERROR_INTERRUPT) && error)) {
+           ISSET(status, SDHC_ERROR_INTERRUPT) || error) {
                if (!ISSET(hp->sc->sc_flags, SDHC_FLAG_ENHANCED))
                        (void)sdhc_soft_reset(hp, SDHC_RESET_CMD|SDHC_RESET_DAT);
                hp->intr_error_status = 0;