board-pico.c: cleanup