Cheers guys! Just to clarify: All I need to do is to modify /boot/grub/grub.conf and change the parameter in it (in window or in linux), right?