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. to get the unique flash id.

Suggest adding a config variable that says - I have a flash chip even though the code is a ram binary. Or maybe the no_flash binary type is misnamed?