drivers/mmc/host/sdhci-s3c.c: use the correct mutex and card detect function