[MMC] sdhci: print device id