Updated to reflect renaming of kernel repo