Raspberry Pi: Extending the life of the SD card