Comment 3 for bug 20320

I'm adding the SD card reader of the Dell Latitude X1 to this list, just for
completeness.

It's either this device:

0000:02:01.0 CardBus bridge: Ricoh Co Ltd RL5c476 II (rev b3)
        Subsystem: Dell: Unknown device 01a3
        Flags: bus master, medium devsel, latency 168, IRQ 19
        Memory at 50000000 (32-bit, non-prefetchable) [size=4K]
        Bus: primary=02, secondary=03, subordinate=06, sec-latency=176
        Memory window 0: 50400000-507ff000 (prefetchable)
        Memory window 1: 50800000-50bff000
        I/O window 0: 00004000-000040ff
        I/O window 1: 00004400-000044ff
        16-bit legacy interface ports at 0001

...or this device:

0000:02:01.2 0805: Ricoh Co Ltd: Unknown device 0822 (rev 17) (prog-if 01)
        Subsystem: Dell: Unknown device 01a3
        Flags: bus master, medium devsel, latency 64, IRQ 10
        Memory at dfcfe700 (32-bit, non-prefetchable) [size=256]
        Capabilities: <available only to root>