Revert "Revert "kernel to our repo""

This reverts commit e470862fcb777205469af4090ca594339a38e906.