Condobloke - I am grateful for your polite response. Holding the Shift key at boot doesn't get me to the grub kernels display for editing. I go straight into BIOS, which by the way looks nothing like the BIOS options pages I'm used to seeing. I then followed your link and did the nano script...