Вам понадобится что-то вроде этого:
sed '/table new.*pvbt_table/, /^$/d;/pvbt_table/d' input_file
en /etc/default/grub
agregue "notsc clocksource=acpi _pm" en la línea GRUB _CMDLINE _LINUX _DEFAULT
El mío ahora es:
GRUB_CMDLINE_LINUX_DEFAULT="quiet notsc clocksource=acpi_pm"
Entonces haz:sudo update-grub
Puede configurar otras fuentes de reloj disponibles:
cat /sys/devices/system/clocksource/clocksource0/available_clocksource