Your doubts are entirely justified but the uSD card reads very slowly in the Librem 5 e.g. in a middling desktop: 85 MB/s but in the Librem 5: 12 MB/s i.e. literally the same card. So the problem is in the interface, not the card.
2 Likes