fix kernel repo revision