Mint14に最新カーネルを入れてみた(が挫折した)

NM70I-847に入れたLinuxMint14ですが、パッケージマネージャで検索してみると、カーネルの最新のものは3.5.0-17なので、先のパッチは当たっていないようです。待っていればいずれパッチは当たるのでしょうが …