kernel-ck-ubuntu: update for 3.9