Created attachment 139692 [details]
dmesg with the debug symbols requested by Lukas
This is the 'vanilla' kernel with the extra patch for the debug symbols added
in.
Also, as requested:
$ cat /sys/bus/pci/devices/0000:01:00.1/power/runtime_status
active