Switch kernel repo again