Thank you for that pointer. It sort of half worked!! It ALMOST got me to the right menu and a bit of 'grubbing around' eventually allowed me to configure the bios as wanted. I managed to load Linux but lost W10 in the process, which, on reflection, is probably no bad thing!!
Ah!, the joys of computing