Hi MaLd0n, and first of all, thank you for your work!
I'm trying to use your images and stick with the x86_validate_topology() 16 threads but 17 registered from MADT... see attached image for the detailed message.
Now, I have a Gigabyte UD4 x299 motherboard, rev1.0, with BIOS updated to version F6i.
And I have an i7-9800X CPU, the latest and greatest Skylake-X refresh.
I did edit IOCPUNumber in VoodooTSCSync Info.plist file but it did not make any difference.
Surely you would know what to do
Please let me know if I can provide more information.
TIA!