They were both freshly formatted before they went in the camera, initially as FAT32.
Both cards have worked perfectly in my Mobius for the last few months, and are genuine :)
I agree, looks suspiciously like a firmware bug as I can select either card manually. Interestingly, if I manually select...