Using an SD card as our Raspberry Pi's storage device