* Move PICO_FLASH_SIZE_BYTES out of platform_defs.h since it precedes board config; also default to -1 for unknown * make default for PICO_FLASH_SIZE_BYTES undefined - i.e. no value