Update t1 kernel repo