T440p sd card reader not working

Can you please check if the SD card reader RTS5227 is working with coreboot?

I tried it on arch linux with different kernel versions (4.19 and 5.7) and kernel modules (rtsx_pci and rts5227-dkms).
I also tried it with coreboot and windows 10.
The drivers are installed correctly but the reader does not work.

[Ph0rk0z]

Same here. Looks like it should work but doesn't work.

[paulmenzel]

James reported the bug to coreboot.

Please continue discussion there. Currently, the lspci -vv output with the vendor firmware is needed.