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