Flash functions in PICO_NO_FLASH binaries
We assume that PICO_NO_FLASH binaries means the device does not have a flash chip. But it's possible that you want a ram binary AND want to mess about with flash, e.g. for flash nuke or something that uses the unique flash id.
Add PICO_INCLUDE_FLASH_UTILS which forces some flash functions to be included.
Needed for this https://github.com/raspberrypi/pico-examples/pull/653
Probably would be nicer if PICO_INCLUDE_FLASH_UTILS defaulted to !PICO_NO_FLASH, rather than needing to check both in all the #ifs?
#ifndef PICO_INCLUDE_FLASH_UTILS
#define PICO_INCLUDE_FLASH_UTILS !PICO_NO_FLASH
#endif
It would also need a PICO_CONFIG comment, so it appears in the docs
defaulted to !PICO_NO_FLASH
Then you would be able to remove these functions by setting PICO_INCLUDE_FLASH_UTILS=0 in flash builds. Which will cause odd behaviour?