Thanks to Eugene for his assistance. I can confirm that adding the line to the GRUB fixes the problem on the Samsung NC10.
Thanks to Eugene for his assistance.
I can confirm that adding the line to the GRUB fixes the problem on the Samsung NC10.