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

This reverts commit 94abcb5aec7f55aa568629d00e37ffaaeb86ce22.