Is there a way to change a grub/lilo kernel boot param to change the kernel tick rate?