"fix name repo kernel trebon"