Direct link to the line in question:

https://github.com/raspberrypi/pico-bootrom/blob/ef22cd8ede5...

(@dang, worth updating the link?)