Replacing Raspberry Pi's SD card slot and building a custom SD to MicroSD adapter