Clock runs too fast on Acer Ferrari

There is a suggestion that passing the parameter no_timer_check will correct the clock speed problem with linux and this machine. Does anyone know if it works AND how do I pass the parameter to grub at boot?