tt> installation option may also help in some
	cases.</li>

    <li>If you activate BIOS-mode support on UEFI-based PCs, you may find
	multiple copies of the BIOS-mode loaders added to your firmware's
	boot manager. Only one copy shows up in rEFInd, though.</li>

    <li>If you have a manual boot stanza for a Linux kernel with both an
	<tt>initrd</tt> line and a second initrd file specified on the
	<tt>options</tt> line, both initrd files will be passed to the
	kernel in most situations; <i>however,</i> one