SD Card reader not recognized (device 5289: RTL8411)

[humdinger]

This is hrev54840, 64bit.

listdev:

device (Unknown) (255:0:0) [ff|0|0]
  vendor 10ec: Realtek Semiconductor Co., Ltd.
  device 5289: RTL8411 PCI Express Card Reader

Syslog of clean boot with inserted SD card., ot recognized (full syslog attached):

KERN: PCI: [dom 0, bus  4] bus   4, device  0, function  0: vendor 10ec, device 5289, revision 01
KERN: PCI:   class_base ff, class_function 00, class_api 00
KERN: PCI:   vendor 10ec: Realtek Semiconductor Co., Ltd.
KERN: PCI:   device 5289: RTL8411 PCI Express Card Reader
KERN: PCI:   info: (Unknown) (255:0:0)
KERN: PCI:   line_size 10, latency 00, header_type 80, BIST 00
KERN: PCI:   ROM base host 00000000, pci 00000000, size 00000000
KERN: PCI:   cardbus_CIS 00000000, subsystem_id 0655, subsystem_vendor_id 1558
KERN: PCI:   interrupt_line 0b, interrupt_pin 02, min_grant 00, max_latency 00
KERN: PCI:   base reg 0: host f7c00000, pci f7c00000, size 00010000, flags 00
KERN: PCI:   base reg 1: host 00000000, pci 00000000, size 00000000, flags 00
KERN: PCI:   base reg 2: host 00000000, pci 00000000, size 00000000, flags 00
KERN: PCI:   base reg 3: host 00000000, pci 00000000, size 00000000, flags 00
KERN: PCI:   base reg 4: host 00000000, pci 00000000, size 00000000, flags 00
KERN: PCI:   base reg 5: host 00000000, pci 00000000, size 00000000, flags 00
KERN: PCI:   Capabilities: PM, MSI, PCIe, MSI-X, VPD
KERN: PCI:   Extended capabilities: Advanced Error Reporting, Virtual Channel, Serial Number

[humdinger]

clean boot syslog with sd card