Dell XPS L702x et lecteur SD card

Salut @ tous,

J’ai un soucis avec mon PC portable Dell XPS L702x.

Le lecteur SD card ne semble fonctionner que lorsqu’une SD card a été insérée dés la phase de boot.
D’après ce que j’ai lu sur la toile, certains périphériques utilisent le PCIE hotplug pour changer les états des périphériques en réponse à des évènements du type insertion d’une carte SD, …
Cependant, les fabriquants ne fournissent pas de firmwares pour supporter ce fonctionnement. Par conséquent, le workaround serait de passer l’option pciehp.pciehp_force=1 au kernel.

Je l’ai donc ajouté à mon /etc/default/grub dans la variable GRUB_CMDLINE_LINUX_DEFAULT et lancé l’update-grub. Cependant ça n’a pas l’air de fonctionner.

Je suis sous debian wheezy kernel 3.0.0-1-686-pae.

Voici un lspci (lorsque ma carte SD a été ajoutée au boot):

00:00.0 Host bridge: Intel Corporation 2nd Generation Core Processor Family DRAM Controller (rev 09)
00:01.0 PCI bridge: Intel Corporation Xeon E3-1200/2nd Generation Core Processor Family PCI Express Root Port (rev 09)
00:02.0 VGA compatible controller: Intel Corporation 2nd Generation Core Processor Family Integrated Graphics Controller (rev 09)
00:16.0 Communication controller: Intel Corporation 6 Series/C200 Series Chipset Family MEI Controller #1 (rev 04)
00:1a.0 USB Controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #2 (rev 05)
00:1b.0 Audio device: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller (rev 05)
00:1c.0 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 1 (rev b5)
00:1c.1 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 2 (rev b5)
00:1c.3 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 4 (rev b5)
00:1c.4 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 5 (rev b5)
00:1c.5 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 6 (rev b5)
00:1d.0 USB Controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #1 (rev 05)
00:1f.0 ISA bridge: Intel Corporation HM67 Express Chipset Family LPC Controller (rev 05)
00:1f.2 SATA controller: Intel Corporation 6 Series/C200 Series Chipset Family 6 port SATA AHCI Controller (rev 05)
00:1f.3 SMBus: Intel Corporation 6 Series/C200 Series Chipset Family SMBus Controller (rev 05)
01:00.0 VGA compatible controller: nVidia Corporation Device 0dd6 (rev a1)
03:00.0 Network controller: Intel Corporation Centrino Wireless-N 1030 (rev 34)
04:00.0 USB Controller: NEC Corporation uPD720200 USB 3.0 Host Controller (rev 04)
05:00.0 System peripheral: JMicron Technology Corp. SD/MMC Host Controller (rev 30)
05:00.2 SD Host controller: JMicron Technology Corp. Standard SD Host Controller (rev 30)
05:00.3 System peripheral: JMicron Technology Corp. MS Host Controller (rev 30)
05:00.4 System peripheral: JMicron Technology Corp. xD Host Controller (rev 30)
0a:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168B PCI Express Gigabit Ethernet controller (rev 06)

Et les modules chargés:

Module                  Size  Used by
cryptd                 14149  0 
aes_i586               16608  2 
aes_generic            37066  1 aes_i586
nls_utf8               12416  1 
nls_cp437              12417  1 
vfat                   17078  1 
fat                    44609  1 vfat
parport_pc             22059  0 
ppdev                  12651  0 
lp                     12894  0 
parport                27241  3 parport_pc,ppdev,lp
bnep                   17301  2 
rfcomm                 28700  10 
pci_stub               12397  1 
vboxpci                18743  0 
vboxnetadp             13182  0 
vboxnetflt             23247  0 
vboxdrv               164902  3 vboxpci,vboxnetadp,vboxnetflt
acpi_cpufreq           12865  0 
mperf                  12421  1 acpi_cpufreq
cpufreq_stats          12758  0 
cpufreq_powersave      12422  0 
cpufreq_conservative    12987  0 
cpufreq_userspace      12520  0 
binfmt_misc            12880  1 
fuse                   56331  1 
ext2                   54204  1 
loop                   17866  0 
uvcvideo               56927  0 
videodev               61530  1 uvcvideo
media                  13692  2 uvcvideo,videodev
btusb                  17246  2 
bluetooth              94736  23 bnep,rfcomm,btusb
snd_hda_codec_hdmi     26009  1 
snd_hda_codec_realtek   206339  1 
nvidia              10553969  0 
arc4                   12418  2 
joydev                 17006  0 
mmc_block              17738  2 
iwlagn                142403  0 
i915                  294451  2 
snd_hda_intel          21691  3 
snd_hda_codec          58364  3 snd_hda_codec_hdmi,snd_hda_codec_realtek,snd_hda_intel
mac80211              165768  1 iwlagn
snd_hwdep              12936  1 snd_hda_codec
snd_pcm                53315  4 snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
drm_kms_helper         22688  1 i915
sg                     21564  0 
snd_seq                39539  0 
snd_timer              22027  3 snd_pcm,snd_seq
snd_seq_device         12985  1 snd_seq
drm                   129847  3 i915,drm_kms_helper
sr_mod                 17478  0 
sdhci_pci              13104  0 
dell_wmi               12437  0 
sdhci                  21948  1 sdhci_pci
cfg80211              112970  2 iwlagn,mac80211
xhci_hcd               54679  0 
r8169                  37326  0 
ehci_hcd               35401  0 
battery                12957  0 
usbcore               104234  5 uvcvideo,btusb,xhci_hcd,ehci_hcd
i2c_i801               12670  0 
ac                     12552  0 
mii                    12595  1 r8169
i2c_algo_bit           12722  1 i915
dell_laptop            12815  0 
power_supply           13283  3 battery,ac,dell_laptop
i2c_core               19141  7 videodev,nvidia,i915,drm_kms_helper,drm,i2c_i801,i2c_algo_bit
sparse_keymap          12707  1 dell_wmi
evdev                  12995  18 
cdrom                  34689  1 sr_mod
video                  17475  1 i915
mmc_core               57441  2 mmc_block,sdhci
jmb38x_ms              17028  0 
psmouse                46216  0 
memstick               13464  1 jmb38x_ms
snd                    38562  13 snd_hda_codec_hdmi,snd_hda_codec_realtek,snd_hda_intel,snd_hda_codec,snd_hwdep,snd_pcm,snd_seq,snd_timer,snd_seq_device
rfkill                 18522  5 bluetooth,cfg80211,dell_laptop
soundcore              12992  1 snd
serio_raw              12734  0 
dcdbas                 13080  1 dell_laptop
button                 12810  1 i915
snd_page_alloc         12899  2 snd_hda_intel,snd_pcm
processor              27382  5 acpi_cpufreq
wmi                    13051  1 dell_wmi
ext4                  274801  2 
mbcache                12898  2 ext2,ext4
jbd2                   56798  1 ext4
crc16                  12327  2 bluetooth,ext4
dm_mod                 56894  9 
sd_mod                 35493  3 
crc_t10dif             12332  1 sd_mod
ahci                   20897  2 
libahci                18231  1 ahci
libata                133339  2 ahci,libahci
scsi_mod              135178  4 sg,sr_mod,sd_mod,libata
thermal                13138  0 
thermal_sys            17677  3 video,processor,thermal

Est-ce que quelqu’un aurait une idée ?

Merci d’avance.

Peut étre une option du BIOs qui supprimerai cette option de hotplug ?

Salut piratebab,

Merci de ta réponse !

C’est une bonne idée mais malheureusement, le BIOS n’a pas l’air de fournir une telle option.