Armadillo-410は、Armadillo-440とソフトウェア互換があります。しかしハードウェア種別を特定するmach-typeについては、(Armadillo-440は異なる)Armadillo-410固有のものが定められています。Linuxカーネル 2.6.35-at アルファ4にはこのmach-typeを解することができないため、動作しません。
Armadillo-410でLinuxカーネル 2.6.35-at アルファ4を使用するためには、カーネルソースに以下のパッチを当て、カーネルコンフィグの「Support Armadillo-410 Platform」を有効化してリビルドしてください。
System Type ---> Freescale MXC Implementations ---> [*] Support Armadillo-410 Platform