Raspberry Pi microSD cards are fine until they're not, and USB boot solved problems I didn't expect ...