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

This reverts commit e47b7b2c3c0451a8f5efe18b6a8d40ae284cbcf8.