The patch has stopped working when updating to a new kernel. Now the SD card slot gives no output whatsoever, as if it's no longer exists.
The relevant part of the dmesg is here: (working SD card kernel - Dec 16) sdhc0 at pci3 dev 0 function 0 "Ricoh 5U823 SD/MMC" rev 0x04: apic 2 int 18 sdmmc0 at sdhc0 (nonworking SD card kernel - Dec 22) "Ricoh 5U822 SD/MMC" rev 0x07 at pci3 dev 0 function 0 not configured
