I see various post suggesting that sdhci@340000 is for SD card on Developer Kit. (And custom board?)
Beside that posts, I used 340000 and it worked!