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