Zephyr Quest: Troubleshooting a Pi Pico2 build error