pico-sdk/tools/check_all_board_headers.sh