we have only kernel for ARM chromebook in Ubuntu 13.04+