If you are currently interested in Linux route, please take a look at gentooplayers. com
I was not able to test it fully myself yet, but it looks like most customizable system to date.
Author had already done all the heavy lifting for us. We just need to utilize it correctly.
That aliexpress guy explains not a different story, he describes that if you have separate crystals for USB or Lan on your MB, then you can try and swap those (and those mods been done by community for a long time now). Not a RTC clock crystal.
Also, i think HPET timers are deprecated in most modern linux kernels, and the clock sources that are built in CPUs are being used for kernel, yes.