It may be supported in the linux-kernel-latest package (see: https://www.qubes-os.org/doc/newer-hardware-troubleshooting/ )
...but, I suggest backing up or cloning the system before swapping kernels. You should have the ability to change boot kernel back via grub...but...it's best to be able to revert.
Brendan
Ah, yeah, I see that too. I googled the following and saw some mention of workarounds: O2 Micro, Inc. SD/MMC Card Reader Controller linux
Brendan