<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <font face="Bitstream Charter">    <br>
          This is pretty informative.<br>
      <a class="moz-txt-link-rfc2396E" href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694388"><http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694388></a><br>
      <br>
          Note that the user had to find an online User Guide to<br>
      enter the setup of the UEFI so that Secure Boot could be disabled.<br>
      <br>
          bliss<br>
          <br>
    </font>
  </body>
</html>