Raspberry Pi Pico: What is this code doing in its boot ROM, line 442?github.com/raspberrypi217 pointsnynyny74 years ago