Comment # 2 on bug 1094400 from Hans-Rudi Denzler

I can boot Windows 10 using the Bios "Windows Boot Manager"
Linux 42.3 or 15.0 is not bootable after upgrade