Fix pio headers that are used in SDK docs#581

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-examples:developfrom

peterharperuk:fix_pio_example_headerspeterharperuk/pico-examples:fix_pio_example_headersCopy head branch name to clipboard