Thanks a lot for your post!
Erik van den Hoorn
1

Ow I forgot to mention that during the first installation of Ubuntu I repartitioned the entire hard drive (so the original EFI partition is gone…) . Later I reinstalled Windows 10 so the EFI partition would be restored and so I could update the BIOS from v 1.05 to v 1.07. Currently I am dual booting Ubuntu 16.04 and Windows 10.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.