External card reader on Zynthian 5.1 kit not working

I just realized this same problem was discussed here:

I’ll post to that thread now.