Androidカーネルの差分をさらに華麗にゲットする方法

というのを id:kotak さんが書いてくださいました。ありがたい。
⇒ http://d.hatena.ne.jp/kotak/20100220