Kernel.org: 5.1.15
sid (unstable): 4.19.37-5
buster (testing): 4.19.37-5
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

Lenovo: X1 Carbon

PCI IDWorks?VendorDeviceDriverKernel
80860a04Intel CorporationHaswell-ULT DRAM Controller
80860a16Intel CorporationHaswell-ULT Integrated Graphics Controller
80860a0cIntel CorporationHaswell-ULT HD Audio Controller
80869c31Intel Corporation8 Series USB xHCI HC
80869c3aIntel Corporation8 Series HECI #0
80869c3dIntel Corporation8 Series HECI KT
8086155aIntel CorporationEthernet Connection I218-LM
80869c20Intel Corporation8 Series HD Audio Controller
80869c1aIntel Corporation8 Series PCI Express Root Port 6
80869c14Intel Corporation8 Series PCI Express Root Port 3
80869c26Intel Corporation8 Series USB EHCI #1
80869c43Intel Corporation8 Series LPC Controller
80869c03Intel Corporation8 Series SATA Controller 1 [AHCI mode]
80869c22YesIntel Corporation8 Series SMBus Controlleri2c-i801
808608b2Intel CorporationWireless 7260
PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e31Intel Corporation7 Series/C210 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861e3dIntel Corporation7 Series/C210 Series Chipset Family KT Controller
80861e2dIntel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e56YesIntel CorporationQS77 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801
1180e822YesRicoh Co LtdMMC/SD Host Controllersdhci-pci
80860085YesIntel CorporationCentrino Advanced-N 6205 [Taylor Peak]iwlwifiv2.6.35-
PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e31Intel Corporation7 Series/C210 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861e2dIntel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e56YesIntel CorporationQS77 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801
1180e823YesRicoh Co LtdPCIe SDXC/MMC Host Controllersdhci-pci
80860085YesIntel CorporationCentrino Advanced-N 6205 [Taylor Peak]iwlwifiv2.6.35-

This model ships with the quad core Core i5 vPro with 8 GB of ram and 256GB SSD.
Here is the CPU information:
cat /proc/cpuinfo
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 58
model name	: Intel(R) Core(TM) i5-3427U CPU @ 1.80GHz
stepping	: 9
microcode	: 0x13
cpu MHz		: 800.000
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 2
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms
bogomips	: 4589.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 58
model name	: Intel(R) Core(TM) i5-3427U CPU @ 1.80GHz
stepping	: 9
microcode	: 0x13
cpu MHz		: 800.000
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 2
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms
bogomips	: 4589.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 58
model name	: Intel(R) Core(TM) i5-3427U CPU @ 1.80GHz
stepping	: 9
microcode	: 0x13
cpu MHz		: 800.000
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 2
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms
bogomips	: 4589.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 58
model name	: Intel(R) Core(TM) i5-3427U CPU @ 1.80GHz
stepping	: 9
microcode	: 0x13
cpu MHz		: 800.000
cache size	: 3072 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 2
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm ida arat epb xsaveopt pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase smep erms
bogomips	: 4589.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:
 (2013-03-14T15:50:41+00:00)

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e31Intel Corporation7 Series/C210 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861e2dIntel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e56YesIntel CorporationQS77 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801
1180e823YesRicoh Co LtdPCIe SDXC/MMC Host Controllersdhci-pci
80860085YesIntel CorporationCentrino Advanced-N 6205 [Taylor Peak]iwlwifiv2.6.35-