raspberry pi 2 クロスコンパイルで一苦労

aufsを適用したカーネルにするために、クロスコンパイルをやってみるが、うまくいかない。
いろいろ原因を探ったところ、raspberry piの/bootディレクトリにあるカーネルは
kernel7.img
というファイルを使っていることが判明。
ネットでは、これがわからず、試行錯誤で分かった。
ちょっとしたことで、時間がかかってしまった。