Not a perfect solution, so I'm still open to proper workarounds. In case anyone else comes upon this, here is what I did:
I went and bought another, smaller SD card. 64GB is like $12 if you get them on amazon. I formatted the second SD exFAT and straight copied the core files and only the...