removed the kernel stuff, since we have a separate repo for that