Revert "Revert "Revert "Revert "Revert "kernel to our repo"""""

This reverts commit 58249469639a8fcfda638950e3e04fefd715de41.