Positive. The SD card is the only device in the system, and exchanging the failing SD card with the manufacturer-provided SD card makes the system boot.