by laidlaws » May 29th, '16, 17:46
This problem is now solved -- or eliminated would be a better word.
My Windows 10 got in such a mess that I had to reinstall it. I spent 2 days trying to repair or reinstall Windows, but the only way was to remove every partition Windows had created, including the ones used by UEFI. That got rid of all the "dead wood" entries. The fresh installation restored the UEFI boot menu on F12 to its original colour scheme and allowed me to manipulate the BIOS once more. All my Linux partitions were untouched, and I created a new Grub2 UEFI boot setup, which works every time, not just occasionally. The 12 MB partition was created again by Windows. How long it stays that way, remains to be seen. I'm sorry for Bill Gates. He would never have allowed such a release of Windows to see daylight.