Boot repair (the second answer in the link Happy Gnu posted) works like a charm for me. I just finished freeing another UEFI machine for another family member.

Reply via email to