EDIT: just got an email back suggesting the same multiple sd card workaround. I wouldn't care too much, except that the new 1.3.3 takes ~90 seconds to load at each boot, whereas the the old ones (1.2.4, 1.5.5) take <5 seconds. I wouldn't mind helping with your software projects, and I'm sure...