イメージファイルの書き換えができません

Armadillo-IoT ゲートウェイ G3の製品マニュアルに記載された通り、SDカードからイメージファイルの書き換えを行ったのですが、次のようなメッセージから先に進みません。
手順に間違いがあるのでしょうか。

mkfs.vfat 2.11 (12 Mar 2005)

Disk /dev/mmcblk2: 3825 MB, 3825205248 bytes
4 heads, 16 sectors/track, 116736 cylinders
Units = cylinders of 64 * 512 = 32768 bytes

        Device Boot Start End Blocks Id System
/dev/mmcblk2p1 1 978 31288 b Win95 FAT32
/dev/mmcblk2p2 4886 116736 3579232 83 Linux
/dev/mmcblk2p3 979 4885 125024 b Win95 FAT32

Partition table entries are not in disk order
=== Step.4 Setup Partition ===
/images/debian-stretch-armhf_aiotg3_20181030.tar.gz: OK
EXT4-fs (mmcblk2p2): mounted filesystem with ordered data mode. Opts: (null)
/images/uImage: OK
/images/armadillo_iotg_g3_m1.dtb: OK
=== Step.5 sync ===
*+*+* Install Completed!! *+*+*

製品: 
Armadillo-IoT G3

自己解決しました。
マニュアルと表示内容が異なるので書き換えができていないものかと思ってしまいました。
失礼しました。