I have Acer C7 Chromebook with Intel CPU, and I had installed there ChrUbuntu. I had updated (Chr)Ubuntu to 13.04 daily version using dist-upgrade. But I found that I still use google v.3.4.0 linux kernel, not Canonical v.3.8.0. So how I can change kernel?
I found how to do it on normal computers with GRUB, but it is Chromebook, so there is NO Grub.