Hi,
After more than a week of testing, I'm happy to announce that I've solved this issue.
It was a matter of unstable clock, as many others have experienced.
The fix was easy, simply add two options to the kernel boot line: "clocksource=hpet" and "notsc".
It is enough to edit /etc/default/grub and add the options to the GRUB_CMDLINE_LINUX variable, followed by an update-grub command.
Hi,
After more than a week of testing, I'm happy to announce that I've solved this issue.
It was a matter of unstable clock, as many others have experienced.
The fix was easy, simply add two options to the kernel boot line: "clocksource=hpet" and "notsc".
It is enough to edit /etc/default/grub and add the options to the GRUB_CMDLINE_LINUX variable, followed by an update-grub command.