[Armadillo:07386] カーネルイメージが読み込めない状態について

[Kensuke Tamura]

お世話になっております。田村と申します。

下記ページを参考にArmadillo-420へDebianを構築しようとしております。
http://manual.atmark-techno.com/armadillo-guide/armadillo-guide-2_ja-2.0.1/ch04.html

一通りのコピーを終えて再起動を行うと下記のエラーが発生し、起動ができない状態となっております。
mx25_esdhc: CMD:0 timedout. (status = 0x00030000)
mx25_esdhc: CMD:55 timedout. (status = 0x00000000)
mx25_esdhc: CMD:0 timedout. (status = 0x00000000)
mx25_esdhc: CMD:55 timedout. (status = 0x00000000)
mx25_esdhc: CMD:2 timedout. (status = 0x00000000)
failed image loading from 'mmcblk0p1' device.

ブートデバイス・カーネルパラメーター周りの設定ミスだと考えておりますが、原因が特定できておりません。

下記に行った検証を記載させていただきます。
過去に同様な現象はございますでしょうか。
原因や解決方法がございましたら、ご教示頂ければと存じます。

何卒、宜しくお願い致します。

---

(1) SDカードの変更
microSD 2GB と microSDHC 8GB の2枚

(2) パーティションの切り方の変更
1パーティション
/dev/mmcblk0p1        /
と
2パーティション
/dev/mmcblk0p1        /boot
/dev/mmcblk0p2        /
の2種類

(3) カーネルイメージの変更
http://download.atmark-techno.com/armadillo-420/image/
linux-a400-1.07.bin.gz
linux-a400-1.08.bin.gz
の2種類