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

This reverts commit da240c7ff5483939296dffeee606160fe16354b3.