linux – GRUB2 EFIを再インストールするには？