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