adds preliminary support (just enough to run blinky1) for the Raspberry Pi Pico board along with the rp2040 mcu.