When a Bios come with HighPrecisionEventTimer option, you’ve have to enabled it in Windows 7(for example) for full support (bcdedit /set useplatformclock true).
Do you think it’s really needed?
You can also test the difference when enabled or not with wintimertester to get a 1.000 ratio.
Ghostearth.
Since I don’t know the answer I hope, that someone else can help you.