Linux kernel for coreos