デバイスツリーコンパイラは更新されません。

Ubuntu 12.04に問題があります。次のガイドラインに従って、LinuxでToradex Colibri T20をフラッシュしようとしています。http://falstaff.agner.ch/2014/03/16/colibri-t20-upstream-linux-kernel/。

しかし、私が走るとき

make -j 8 

コマンドを実行すると、端末にDTCバージョンが1.4.0以上であることが示されます。だから確認してみた

dpkg -s device-tree-compiler | grep Version

明らかにする

Version: 1.3.0-2ubuntu1

だからGoogleで検索してみるとこんなサイトがありましたね。https://launchpad.net/ubuntu/+source/device-tree-compiler。最新の安定版は1.4.0と表示されていますが、使用しようとすると

sudo apt-get install device-tree-compiler

それは言う

device-tree-compiler is already the newest version.

ここで何か抜けましたか？最新バージョンなどを入手するには、apt-getに特別なリポジトリを追加する必要がありますか？