I am having the exact same problem. I have 7900x and x299 TUF Mark 1.On 4.12, I got the same dmesg output as the OP. The system mostly works fine, but has some subtle clock sync issues. The host clock runs slower than hwclock. And as I am running VMs...