Nothing was connected to the Type-C port. I don't have any thunderbolt devices... I am connecting my mobile phone (Nexus 6P) using the Type-C port and works fine. Here is what I have in syslog related to thunderbolt: May 3 09:32:07 xps13 kernel: [ 2015.028567] thunderbolt 0000:03:00.0: NHI initialized, starting thunderbolt May 3 09:32:07 xps13 kernel: [ 2015.028579] thunderbolt 0000:03:00.0: allocating TX ring 0 of size 10 May 3 09:32:07 xps13 kernel: [ 2015.028621] thunderbolt 0000:03:00.0: allocating RX ring 0 of size 10 May 3 09:32:07 xps13 kernel: [ 2015.028663] thunderbolt 0000:03:00.0: control channel created May 3 09:32:07 xps13 kernel: [ 2015.028667] thunderbolt 0000:03:00.0: control channel starting... May 3 09:32:07 xps13 kernel: [ 2015.028672] thunderbolt 0000:03:00.0: starting TX ring 0 May 3 09:32:07 xps13 kernel: [ 2015.028685] thunderbolt 0000:03:00.0: enabling interrupt at register 0x38200 bit 0 (0x0 -> 0x1) May 3 09:32:07 xps13 kernel: [ 2015.028690] thunderbolt 0000:03:00.0: starting RX ring 0 May 3 09:32:07 xps13 kernel: [ 2015.028702] thunderbolt 0000:03:00.0: enabling interrupt at register 0x38200 bit 12 (0x1 -> 0x1001) May 3 09:32:07 xps13 boltd[1531]: probing: adding /sys/devices/pci0000:00/0000:00:1c.0/0000:01:00.0 to roots May 3 09:32:07 xps13 boltd[1531]: probing: started [1000] May 3 09:32:07 xps13 kernel: [ 2015.128615] thunderbolt 0000:03:00.0: current switch config: May 3 09:32:07 xps13 kernel: [ 2015.128625] thunderbolt 0000:03:00.0: Switch: 8086:1576 (Revision: 4, TB Version: 2) May 3 09:32:07 xps13 kernel: [ 2015.128630] thunderbolt 0000:03:00.0: Max Port Number: 11 May 3 09:32:07 xps13 kernel: [ 2015.128634] thunderbolt 0000:03:00.0: Config: May 3 09:32:07 xps13 kernel: [ 2015.128642] thunderbolt 0000:03:00.0: Upstream Port Number: 5 Depth: 0 Route String: 0x0 Enabled: 1, PlugEventsDelay: 254ms May 3 09:32:07 xps13 kernel: [ 2015.128648] thunderbolt 0000:03:00.0: unknown1: 0x0 unknown4: 0x0 May 3 09:32:07 xps13 kernel: [ 2015.173943] thunderbolt 0000:03:00.0: 0: uid: 0xd45fb13821cd00 May 3 09:32:07 xps13 kernel: [ 2015.175350] thunderbolt 0000:03:00.0: Port 0: 8086:1576 (Revision: 4, TB Version: 1, Type: Port (0x1)) May 3 09:32:07 xps13 kernel: [ 2015.175354] thunderbolt 0000:03:00.0: Max hop id (in/out): 7/7 May 3 09:32:07 xps13 kernel: [ 2015.175356] thunderbolt 0000:03:00.0: Max counters: 8 May 3 09:32:07 xps13 kernel: [ 2015.175359] thunderbolt 0000:03:00.0: NFC Credits: 0x800000 May 3 09:32:07 xps13 kernel: [ 2015.175859] thunderbolt 0000:03:00.0: Port 1: 8086:1576 (Revision: 4, TB Version: 1, Type: Port (0x1)) May 3 09:32:07 xps13 kernel: [ 2015.175862] thunderbolt 0000:03:00.0: Max hop id (in/out): 15/15 May 3 09:32:07 xps13 kernel: [ 2015.175865] thunderbolt 0000:03:00.0: Max counters: 16 May 3 09:32:07 xps13 kernel: [ 2015.175868] thunderbolt 0000:03:00.0: NFC Credits: 0x3c00000 May 3 09:32:07 xps13 kernel: [ 2015.176399] thunderbolt 0000:03:00.0: Port 2: 8086:1576 (Revision: 4, TB Version: 1, Type: Port (0x1)) May 3 09:32:07 xps13 kernel: [ 2015.176403] thunderbolt 0000:03:00.0: Max hop id (in/out): 15/15 May 3 09:32:07 xps13 kernel: [ 2015.176405] thunderbolt 0000:03:00.0: Max counters: 16 May 3 09:32:07 xps13 kernel: [ 2015.176408] thunderbolt 0000:03:00.0: NFC Credits: 0x3c00000 May 3 09:32:07 xps13 kernel: [ 2015.176412] thunderbolt 0000:03:00.0: 0:3: disabled by eeprom May 3 09:32:07 xps13 kernel: [ 2015.176415] thunderbolt 0000:03:00.0: 0:4: disabled by eeprom May 3 09:32:07 xps13 kernel: [ 2015.176417] thunderbolt 0000:03:00.0: 0:5: disabled by eeprom May 3 09:32:07 xps13 kernel: [ 2015.176547] thunderbolt 0000:03:00.0: Port 6: 8086:1576 (Revision: 4, TB Version: 1, Type: PCIe (0x100101)) May 3 09:32:07 xps13 kernel: [ 2015.176551] thunderbolt 0000:03:00.0: Max hop id (in/out): 8/8 May 3 09:32:07 xps13 kernel: [ 2015.176554] thunderbolt 0000:03:00.0: Max counters: 2 May 3 09:32:07 xps13 kernel: [ 2015.176557] thunderbolt 0000:03:00.0: NFC Credits: 0x800000 May 3 09:32:07 xps13 kernel: [ 2015.176655] thunderbolt 0000:03:00.0: Port 7: 8086:1576 (Revision: 4, TB Version: 1, Type: PCIe (0x100101)) May 3 09:32:07 xps13 kernel: [ 2015.176659] thunderbolt 0000:03:00.0: Max hop id (in/out): 8/8 May 3 09:32:07 xps13 kernel: [ 2015.176661] thunderbolt 0000:03:00.0: Max counters: 2 May 3 09:32:07 xps13 kernel: [ 2015.176664] thunderbolt 0000:03:00.0: NFC Credits: 0x800000 May 3 09:32:07 xps13 kernel: [ 2015.176668] thunderbolt 0000:03:00.0: 0:8: disabled by eeprom May 3 09:32:07 xps13 kernel: [ 2015.176671] thunderbolt 0000:03:00.0: 0:9: disabled by eeprom May 3 09:32:07 xps13 kernel: [ 2015.176769] thunderbolt 0000:03:00.0: Port 10: 8086:1576 (Revision: 4, TB Version: 1, Type: DP/HDMI (0xe0101)) May 3 09:32:07 xps13 kernel: [ 2015.176773] thunderbolt 0000:03:00.0: Max hop id (in/out): 9/9 May 3 09:32:07 xps13 kernel: [ 2015.176775] thunderbolt 0000:03:00.0: Max counters: 2 May 3 09:32:07 xps13 kernel: [ 2015.176779] thunderbolt 0000:03:00.0: NFC Credits: 0x1000000 May 3 09:32:07 xps13 kernel: [ 2015.176782] thunderbolt 0000:03:00.0: 0:b: disabled by eeprom