They surely could have pivoted to an alternative, potentially creating more jobs in the progress. Most commercial raspberry pi projects should be microcontrollers anyway, and certainly not be running on the sdcard.