my samsung-nc10 do not need position_fix=1, so it is enough to clean /etc/default/grub and remove nmi_watchdog=1. so, for me, this is completely fixed.
my samsung-nc10 do not need position_fix=1, so it is enough to clean /etc/default/grub and remove nmi_watchdog=1.
so, for me, this is completely fixed.