<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Nov 2, 2015, at 12:55, No one <<a href="mailto:neme6.vm@gmail.com">neme6.vm@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><p dir="ltr">Well, it is not that uncommon for a "normal" user to have a Windows + Linux installation. But maybe you are right, who knows. Another way of doing it would be to hide the "Restart to" submenu in case there were no other OSs apart from the current one (neither memtest nor advanced boot options would be shown).</p> </blockquote>That's better. And by default even if you have other OSes installed, the "Restart to" menu is only shown if you click the drop-down while pressing a special key like Alt/option. That way it's useable and out of the way for those of us who do not really use any other OS but would like to choose a different kernel before we go get coffee. <div><br></div><div>--</div><div>Luis</div></body></html>