Fix tools/build_all_headers.py to cope with chip-specific headers#2292

kilograham merged 1 commit intodevelopraspberrypi/pico-sdk:developfrom

fix_all_headers_scriptraspberrypi/pico-sdk:fix_all_headers_scriptCopy head branch name to clipboard