Hi Jan,

Please see the attached dom0 dmesg log, verbose lspci output and a tar of all SSDT and DSDT decompiled ACPI tables.

Please let let me know if I can send anything else

Cheers