Hi Chris,
so can you please file a bug on bugzilla.freedesktop.org (or bugzilla.kernel.org) so that we don't lose track of it.
Will do when I'm back from the mountains.
If your have the option, can you switch the ddx between using SNA and UXA.
??? Is that a BIOS option? Or kernel? I can try both.
Norbert
(on mobile)