FAQ

Armadillo-500/500 FXでデフォルトのコンフィグレーションに加えてIPv6を有効にした場合、起動しなくなってしまいます。この問題は、カーネルのサイズが4MBを越えてしまい ARM Linuxが決めているカーネルサイズを越えてしまうためです。

詳しくは、FAQ : カーネルのサイズが4MBを越えるとブートしないを参照してください。