@Gilbert: see paragraph no 14 in post #114 for a fix to this problem. It's a known bug in update-grub - Windows EFI boot entries are not generated correctly.
@Gilbert: see paragraph no 14 in post #114 for a fix to this problem. It's a known bug in update-grub - Windows EFI boot entries are not generated correctly.