Yes, the cards are fully functional in my Windows and Linux PCs. When I use them with MK4, MK4 cannot read the psbt file in it, cannot format it, cannot pass the sd card part of the device self test. They are all usual micro sd cards. HC. One of them is Sandisk "Industrial" written on it. Don't make a difference.
Then there are most likely two options:
Problems with SD reader contacts or mechanical wear.
Firmware errors that appear after certain sequences of operations.
I'm more inclined to the second option, since new SD cards seem to work somewhat initially. It's worth waiting for the new firmware to be released and testing with it.