* Remove (legacy) direct inclusion of 'pico/platform.h' which potentially skip config/board setup * also fix direct use of pico/config.h which predated pico.h being assembly includable
* Remove (legacy) direct inclusion of 'pico/platform.h' which potentially skip config/board setup * also fix direct use of pico/config.h which predated pico.h being assembly includable