Direct link to the line in question: https://github.com/raspberrypi/pico-bootrom/blob/ef22cd8ede5bc007f81d7f2416b48db90f313434/bootrom/bootrom_rt0.S#L442 https

Direct link to the line in question: https://github.com/raspberrypi/pico-bootrom/blob/ef22cd8ede5bc007f81d7f2416b48db90f313434/bootrom/bootrom_rt0.S#L442 https://github.com/raspberrypi/pico-bootrom/blob/ef22cd8ede5... (@dang, worth updating the link?)