Cubietruck向けにDebian、およびUbuntuイメージを作ってくださっているIgorさんのところのイメージがKernel 4.0.5に対応したようです。
また個人的に嬉しいのはSATA / USB install の修正が入ったことでしょうか。
少なくとも手元の環境では問題なく動作していることを確認しています。
というわけで最新のKernelでCubietruckを動かしたい人は導入してみてはいかがでしょうか？
[ #arm ][ #cubietruck ] Cubietruck Debian SD image 4.0.5が公開されてた。
ARM
