Revision 67791

Fix flexible USB key documentation details

  * Document that flexible-built USB keys do not show the boot menu by
    default, and document how to enable it. Thanks Filipus Klutiero for the
    report. Closes: #666105.
  * Document that installing an MBR is needed to get a bootable USB key.