[stefanka]

After the upgrade (which I even don't remember allowing), I had double UEFI entries. Cost me nearly a day to be able to boot windows (and it works only from the Linux boot menu)