Switch to our Hybrid Kernel repo