Move kernel to our repos