SD card readers

[Da Rock]

I've spent years fiddling and waiting for support for the ricoh drivers- 
finally they came up with support by 8.2 yay! and my laptops had died by 
that time :( Ohhh, the irony...

I have new laptops, and HP have got the picture and are using usb based 
devices. But one has these:

none1 at pci0:3:0:0:    class=0x088000 card=0x1a071043 chip=0x2382197b 
rev=0x80 hdr=0x00
     vendor     = 'JMicron Technology Corp.'
     device     = 'SD/MMC Host Controller'
     class      = base peripheral
sdhci0 at pci0:3:0:2:    class=0x080501 card=0x1a071043 chip=0x2381197b 
rev=0x80 hdr=0x00
     vendor     = 'JMicron Technology Corp.'
     device     = 'Standard SD Host Controller'
     class      = base peripheral
     subclass   = SD host controller
none2 at pci0:3:0:3:    class=0x088000 card=0x1a071043 chip=0x2383197b 
rev=0x80 hdr=0x00
     vendor     = 'JMicron Technology Corp.'
     device     = 'MS Host Controller'
     class      = base peripheral
none3 at pci0:3:0:4:    class=0x088000 card=0x1a071043 chip=0x2384197b 
rev=0x80 hdr=0x00
     vendor     = 'JMicron Technology Corp.'
     device     = 'xD Host Controller'
     class      = base peripheral

As you can see I have possibly got a sdhci working (untested yet, but 
recognised- good start), and the rest are a wash. Any clues on what's 
needed to make these work?

BTW kldstat:

cuse4bsd.ko
mmc.ko
sdhci.ko
mmcsd.ko
smbus.ko

And this 9.0-RC3.

I'd rather not wait with non-functioning devices till the unit dies again :)

Cheers