For further investigation, I booted Linux 3.10-rc3 with pcie_aspm=off so the kernel does not change the settings that the BIOS activates. The BIOS dictates that ASPM must be disabled for the card reader but it enables L1, as you can see in the attached files.
For further investigation, I booted Linux 3.10-rc3 with pcie_aspm=off so the kernel does not change the settings that the BIOS activates. The BIOS dictates that ASPM must be disabled for the card reader but it enables L1, as you can see in the attached files.