CentOS: change the GRUB timeout to 1 second