Sorry, the repository raspberrypi.git does not have a f22ec1a61392d8b42771405cd3afc7cc6fc65b17 branch!