+ href="installing.html">Installing rEFInd</a> page. Some users of Arch
+ Linux have reported problems booting some specific Arch Linux kernels
+ with rEFInd and some other tools. For them, a <a
+ href="http://sourceforge.net/projects/refind/files/0.6.8/refind-bin-gnuefi-0.6.8.zip/download">variant
+ package</a> exists in which the <i>x</i>86-64 binary was compiled with
+ GNU-EFI rather than the usual TianoCore EDK2. This change helps some
+ users with this problem; but using GNU-EFI also means that this version
+ can't launch BIOS-mode OSes.</li>