Armadilloフォーラム

お世話になります。
佐々木と申します。

Armadillo-IoT G3 開発セットにて、fat32でフォーマットされたSDHCカードがboot後に認識されない状況に陥っております。
SDHCカードは、ただのストレージとして使用します。
SDHCカードは、SanDisk Extreme PLUS 80MB/s 16GBです。
本体にはRS232C/422/485絶縁モジュールを増設し、docomoのsimカードを使用しています。
WiFiも使用しています。

[状況]
1.電源投入前にSDHCカードを差し込む。
2.ブートローダ―にて「mmc part」を実行すると認識されている。
----------------------------------------------------------------------------------
Partition Map for MMC device 0 -- Partition Type: DOS
Part Start Sector Num Sectors UUID Type
1 8192 31108096 00000000-01 0c
----------------------------------------------------------------------------------
3.ブートローダ―にて「boot」を実行し、eMMCのデフォルトOSを起動させる。
4.rootでログイン後、/devにSDHCカードに該当する物が見つからない。
※/dev/mmcblk2**はあるが、/dev/mmcblk0**等が無い

dmesgによる該当しそうな箇所は以下の通りです。
--------------------------------------------------------------------------------------------------------------------------------------------------
[ 1.944917] sdhci: Secure Digital Host Controller Interface driver
[ 1.949802] sdhci: Copyright(c) Pierre Ossman
[ 1.953009] sdhci-pltfm: SDHCI platform and OF driver helper
[ 1.958812] sdhci-esdhc-imx 30b40000.usdhc: Got CD GPIO #128.
[ 1.963317] sdhci-esdhc-imx 30b40000.usdhc: Got WP GPIO #129.
[ 2.012659] mmc0: SDHCI controller on 30b40000.usdhc [30b40000.usdhc] using ADMA
[ 2.019506] sdhci-esdhc-imx 30b60000.usdhc: could not get ultra high speed state, work on normal mode
[ 2.077826] mmc2: SDHCI controller on 30b60000.usdhc [30b60000.usdhc] using ADMA
--------------------------------------------------------------------------------------------------------------------------------------------------
ultra high speedではなくノーマルモードで動くようなログがありますが、認識しているように見えます。
しかし、実際はデバイスとして認識されていないようなので、マウントすら出来ない状況です。

因みに、このSDHCカードは、別のArmadillo-IoT G2 開発セットでは問題なく認識され使用することが出来ています。

お忙しいところ恐縮ですが、この症状について何かご存知の方がいらっしゃいましたらご教授をお願いします。