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