Re: fedup 18->19 and GRUB upgrade several seconds