Fix kernel url