Update dependencies

* Use the kernel in carbon's repo