[Armadillo:01661] カーネル変更について

[Yuka IKEBE]

池部と申します。お世話になります。
Armadillo-9に関して質問があります。

下記のDebianをCFにインストールし、linuxカーネルを下記のカーネルに変更したい
のですが、
マニュアルどおりに設定してもカーネルのバージョンが変わりません。

Debian：　http://armadillo.atmark-techno.com/download/armadillo-9/debian/
Linuxカーネル：　
http://armadillo.atmark-techno.com/download/armadillo-9/image/linux2.6/linux-2.6.12.3-a9-8.bin.gz

行った手順は下記の通りです。
・PCにlinux-2.6.12.3-a9-8.bin.gzを保存
・CFを挿入しArmadillo上のlinuxを起動
・マウント（mount /dev/hdc1 /mnt）
・PCからFTPでlinux-2.6.12.3-a9-8.bin.gzをArmadilloに転送
・イメージコピー（cp /home/ftp/pub/linux-2.6.12.3-a9-8.bin.gz
/mnt/boot/Image.gz）
・Debian起動

上記を行ってもカーネルが２．４のまま変更されません。
解決方法を教えていただけますでしょうか。

よろしくお願いいたします。


------------------------------
池部 優佳（Yuka IKEBE）
E-mail: email@hidden