CuBoxカーネル入れ替え

日常

Ubuntu Coreなので自動アップデートされないということを思い出して、CuBoxのカーネルを入れ替えた。
例によってLinaroを使い、2012.10(Linux Kernel 3.6ベース？)に更新。
http://releases.linaro.org/12.10/components/kernel/linux-linaro/
dove_defconfigにEXT4のサポートとDove SDHCIのサポートを追加してコンパイルして、uImageを入れ替えた。