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