Update intro to explain about grubby
    
    grubby does not update /etc/default/grub file which needs
    to be modified to keep the settings permanent