try adding "clocksource=jiffies nolapic_timers" to the kernel command line parameter.
sudo pico /etc/default/grub
change
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
to
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nolapci_timer clocksource=jiffies"
save changes
sudo update-grub
reboot
sfranzyshen
try adding "clocksource= jiffies nolapic_timers" to the kernel command line
parameter.
sudo pico /etc/default/grub
change
GRUB_CMDLINE_ LINUX_DEFAULT= "quiet splash"
to
GRUB_CMDLINE_ LINUX_DEFAULT= "quiet splash nolapci_timer clocksource= jiffies"
save changes
sudo update-grub
reboot
sfranzyshen