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