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.