Re: How do I regenerate the grub files for a UEFI system ?